Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.

Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis

Browse the full ICFEM paper archive.