SAS architecture: verification oriented formal modeling of concrete critical systems.

Annie Ressouche Jean-Yves Tigli Valine Roy Daniel Cheung-Foo-Wo

Published in: SMC (2003)

Keyphrases

management system
formal methods
reactive systems
complex systems
formal analysis
real time
database
knowledge based systems
formal models
key technologies
colored petri nets
dynamic aspects
heterogeneous systems
modeling method
model checking
petri net
computer systems
e learning
data sets