Formal Modeling and Verification of Systems with Self-x Properties.

Matthias Güdemann Frank Ortmeier Wolfgang Reif

Published in: ATC (2006)

Keyphrases

formal methods
knowledge based systems
data sets
expert systems
software engineering
distributed systems
database
asynchronous circuits
case study
complex systems
dynamic aspects
face verification
structural properties
computer systems
intelligent systems
management system
computer vision
learning algorithm