Skip to Main content Skip to Navigation
Poster communications

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

Melissa Issad 1, 2, * Antoine Rauzy 3 Leila Kloul 4 Karim Berkani 2
* Corresponding author
1 LGI - Laboratoire Génie Industriel - EA 2606
2 Siemens Mobility
3 NTNU - Norwegian University of Science and Technology [Trondheim]
4 PRISM - Parallélisme, Réseaux, Systèmes, Modélisation
Abstract : .
Document type :
Poster communications
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01239278
Contributor : Melissa Issad <>
Submitted on : Monday, December 7, 2015 - 3:45:40 PM
Last modification on : Tuesday, February 23, 2021 - 7:24:06 PM
Long-term archiving on: : Tuesday, March 8, 2016 - 2:44:34 PM

File

Vignette du document
Melissa_Issad_Poster_SDAFIS-v-...
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • HAL Id : hal-01239278, version 1

Collections

CNRS | INSMI | LGI | UVSQ | LGI-SR

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

418

Files downloads

215