The Object-Z Specification Language

Overview of attention for book

The Object-Z Specification Language

Springer US

Table of Contents

Attention for Chapter 4: Language Definition

Altmetric Badge

Citations

dimensions_citation: 330 Dimensions

Readers on

mendeley: 151 Mendeley

Summary Dimensions citations

So far, Dimensions has found 330 publications that cite this research output.

330

The most recent citing publications are shown below. View all 330 publications that cite this research output on Dimensions.

Enhancing MVC architecture pattern description using its System of Systems model

Conference proceeding (February 2024)

Multi-dimensional Abstraction and Decomposition for Separation of Concerns

Book chapter (December 2023)

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Article in IET Software (June 2023)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.