Login / Signup
Modular design and verification of component-based mechatronic systems with online-reconfiguration.
Holger Giese
Sven Burmester
Wilhelm Schäfer
Oliver Oberschelp
Published in:
SIGSOFT FSE (2004)
Keyphrases
</>
modular design
online learning
expert systems
model checking
image sequences
mobile robot
formal methods
computer systems
software development
information retrieval systems
management system
database
digital libraries
multiscale
knowledge base
learning algorithm
real time