Login / Signup
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Simona Bernardi
Francesco Flammini
Stefano Marrone
Nicola Mazzocca
José Merseguer
Roberto Nardone
Valeria Vittorini
Published in:
Reliab. Eng. Syst. Saf. (2013)
Keyphrases
</>
formal methods
management system
multi agent systems
relational databases
software architecture
information retrieval
case study
expert systems
object oriented
intelligent systems
software systems
complex systems
software components
object oriented modeling
uml models
automated verification