SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2014

SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications

Résumé

.
Fichier principal
Vignette du fichier
Melissa_Issad_Poster_SDAFIS-v-finale.pdf (788.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01239278 , version 1 (07-12-2015)

Licence

Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales

Identifiants

  • HAL Id : hal-01239278 , version 1

Citer

Melissa Issad, Antoine Rauzy, Leila Kloul, Karim Berkani. SCOLA: a Scenario Oriented LAnguage for railway system specifications Context Formal model System specifications. Forum Académie Industrie de l'AFIS (Agence Française d'Ingénierie Système), Dec 2014, Paris, France. ⟨hal-01239278⟩
211 Consultations
121 Téléchargements

Partager

Gmail Facebook X LinkedIn More