SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications
Résumé
.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Melissa Issad : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01239278
Soumis le : lundi 7 décembre 2015-15:45:40
Dernière modification le : lundi 22 avril 2024-14:43:54
Archivage à long terme le : mardi 8 mars 2016-14:44:34