Login / Signup
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