Aznam Yacoub
IdRefMots clés
FR |
EN
Vérification et Validation
Modélisation et Simulation
Systèmes à Evènements Discrets
Méthodes Formelles
Systèmes temporisés
Promela
DEv-PROMELA
Systèmes informatiques
Systèmes échantillonnés
Modélisation des données (informatique)
Simulation par ordinateur
Mode de transfert asynchrone
SDL (langage de programmation)