VDM + CCS + Time = MOSCA
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Stepwise development of model-oriented real-time specifications from action/event modelsPublished by Springer Nature ,1992