Modeling and Verification of Parallel Processes

Overview of attention for book

Cover of 'Modeling and Verification of Parallel Processes'

Table of Contents

Attention for Chapter 9: Testing Transition Systems: An Annotated Bibliography

Altmetric Badge

Citations

dimensions_citation: 6 Dimensions

Readers on

mendeley: 23 Mendeley
citeulike: 3 CiteULike

Summary Dimensions citations

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

6

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

Source Code Testing for Automotive Software Based on UPPAAL Model

Conference proceeding (June 2014)

Model checking a TTCAN implementation

Conference proceeding (March 2011)

An Industrial Application of Model Checking to a Vessel Control System

Conference proceeding (January 2011)

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

Click here to find out how to access more activity.