Runtime Verification for Ultra-Critical Systems.

Lee Pike Sebastian Niller Nis Wegmann

Published in: RV (2011)

Keyphrases

computing systems
management system
computer systems
systems require
high speed
database
building blocks
intelligent systems
automated verification
model checking
retrieval systems
complex systems
distributed systems
information technology
natural language
metadata
learning algorithm
neural network