Critical systems verification in MetaMORP(h)OSY

Aversa, Rocco; Di Martino, Beniamino; Moscato, F.

Year:

2014

Type of Publication:

Article

Journal:

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volume:

8696 LNCS

Pages:

119-129

DOI:

10.1007/978-3-319-10557-4_15