Extending mCRL2 with ready simulation and iocos input-output conformance simulation
- Gregorio-Rodríguez, C.
- Llana, L.
- Martínez-Torres, R.
Konferenzberichte:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450331968
Datum der Publikation: 2015
Ausgabe: 13-17-April-2015
Seiten: 1781-1788
Art: Konferenz-Beitrag