Runtime Verification of Component-Based Systems.

Yliès Falcone Mohamad Jaber Thanh-Hung Nguyen Marius Bozga Saddek Bensalem

Published in: SEFM (2011)

Keyphrases

database
computer vision
expert systems
distributed systems
information systems
knowledge based systems
bayesian networks
computer systems
building blocks
complex systems