Login / Signup
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.
Yves Ledru
Régine Laleau
Sylvie Vignes
Published in:
Ingénierie des Systèmes d Inf. (2008)
Keyphrases
</>
software systems
genetic algorithm
real time
software engineering
database design
state machine
learning algorithm
object oriented
life cycle
formal methods
conceptual modeling
unified modeling language
class diagrams
uml models