Nabil Sadou
Mots clés
FR |
EN
Sûreté de fonctionnement
Ingénierie système
Eia-632
Systèmes hybrides
Réseaux de Petri
Logique linéaire
Concepts orientés objets
Scénarios redoutés
Simulation
Hybrid systems
Petri net
Linear logic
Oriented objects concepts
Dependability
Feared scenarios
System engineering
Eia-632.
Systèmes embarqués (informatique)
Conception orientée objets (informatique)
Utilisation