Validated Designs for Object-oriented Systems

Overview of attention for book

Cover of 'Validated Designs for Object-oriented Systems'

Table of Contents

Attention for Chapter 3: VDM++ Tool Support

Altmetric Badge

Citations

dimensions_citation: 30 Dimensions

Summary Dimensions citations

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

30

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

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine

Conference proceeding (October 2020)

Formal Specification and Validation of a Gas Detection System in the Industrial Sector

Conference proceeding (June 2020)

Code generation for distributed embedded systems with VDM-RT

Article in Design Automation for Embedded Systems (November 2019)

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

Click here to find out how to access more activity.