Lom Messan Hillah
IdRefMots clés
FR |
EN
Développement dirigé par les modèles
Méthode formelle
Modèles formels
Uml
Réseaux de Pétri
Recherche de contrôleur
Normalisation
Pnml
Petri Net Markup Language
PNML Framework
Systèmes temporisés
Diagrammes états-transitions UML
Réseaux de Petri colorés
Sémantique formelle
UML (informatique)
Petri, Réseaux de
Processus stochastiques