Extending mCRL2 with ready simulation and iocos input-output conformance simulation

  1. Gregorio-Rodríguez, C.
  2. Llana, L.
  3. Martínez-Torres, R.
Actes de conférence:
Proceedings of the ACM Symposium on Applied Computing

ISBN: 9781450331968

Année de publication: 2015

Volumen: 13-17-April-2015

Pages: 1781-1788

Type: Communication dans un congrès

DOI: 10.1145/2695664.2695853 GOOGLE SCHOLAR
La source de données: Scopus