SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications
Résumé
.
Origine : Fichiers produits par l'(les) auteur(s)