Interaction-based Runtime Verification for Systems of Systems Integration.

Ingolf H. Krüger Michael Meisinger Massimiliano Menarini

Published in: J. Log. Comput. (2010)

Keyphrases

management system
database
computer systems
complex systems
social networks
computer vision
image sequences
distributed systems
building blocks
learning systems
retrieval systems
computing systems
asynchronous circuits