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
Hits: 1188
You are here: Home Publications Publications critical-systems-verification-in-metamorp-h-osy