Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.

Holger Giese Martin Hirsch

Published in: MoDELS (Satellite Events) (2005)

Keyphrases

formal methods
online learning
object oriented
real time
software engineering
manufacturing systems
database design
conceptual modeling
face verification
building blocks
website
information systems
neural network
database
model checking
software architecture
design patterns
unified modeling language