Towards the compositional verification of real-time UML designs.

Holger Giese Matthias Tichy Sven Burmester Stephan Flake

Published in: ESEC / SIGSOFT FSE (2003)

Keyphrases

real time
formal methods
high speed
software systems
vision system
database design
databases
neural network
low cost
software development
modeling language
artificial intelligence
control system
database applications
face verification
uml profile