Login / Signup
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.
Hamida Bouaziz
Samir Chouali
Ahmed Hammad
Hassan Mountassir
Published in:
CAL (2015)
Keyphrases
</>
optimal solution
management system
machine learning
genetic algorithm
knowledge acquisition
modeling language
formal methods
safety analysis