Critical Systems Verification in MetaMORP(h)OSY.

Rocco Aversa Beniamino Di Martino Francesco Moscato

Published in: SAFECOMP Workshops (2014)

Keyphrases

systems require
computer systems
knowledge based systems
formal methods
image processing
expert systems
information technology
management system
distributed systems
complex systems