Critical Systems Verification in MetaMORP(h)OSY.

Rocco Aversa, Beniamino Di Martino, Francesco Moscato

Browse the full SAFECOMP paper archive.