![](/img/cover-not-exists.png)
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Bae, Kyungmin, Ölveczky, Peter Csaba, Feng, Thomas Huining, Lee, Edward A., Tripakis, StavrosVolume:
77
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2010.10.002
Date:
October, 2012
File:
PDF, 1.22 MB
english, 2012