Login / Signup
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.
Mohamed Ghazel
Malek Masmoudi
Armand Toguyéni
Published in:
SoSE (2009)
Keyphrases
</>
complex systems
dynamic systems
temporal reasoning
discrete event systems
multi agent systems
metamodel
temporal patterns
complex adaptive systems
machine learning
software development
software systems
temporal information
modeling language
formal methods
physical systems
steady state simulation