Skip to Main content Skip to Navigation
Poster communications

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

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

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

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⟩

Share

Metrics

Record views

418

Files downloads

215