Modeling and Verification of Components and Connectors.

Christel Baier Joachim Klein Sascha Klüppelholz

Published in: SFM (2011)

Keyphrases

verification method
information systems
feature selection
multiscale
mobile robot
software components
modeling framework
colored petri nets