Browsing by Subject RT-Maude, systèmes en temps réel, transformation de modèles, grammaires de triples graphes, Interpréteur TGG, modèle-à-texte, spécification et vérification, logique de réécriture, vérification de modèle.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2018 | SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE | BENDIAF, Messaoud |