Open AccessModeling the CBTC railway system with ScOLA
Author(s) -
Melissa Issad,
Leïla Kloul,
Antoine Rauzy,
Karim Berkani
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , semantics (computer science) , novelty , dialog box , specification language , software engineering , formal semantics (linguistics) , formal methods , modeling language , formal specification , automation , petri net , formal verification , engineering , world wide web , software , mechanical engineering , philosophy , theology