DOI: 10.17706/IJCEE.2019.11.1.11-19
A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification
Index Terms—Railway interlocking systems, relay diagrams, graph, b-method, framework.
Dalay Israel de Almeida Pereira, Philippe Bon, and Simon Collart-Dutilleul are with Univ Lille Nord de France, IFSTTAR, COSYS/ESTAS, 59650 Villeneuve d’Ascq, France. Matthieu Perin is with Institut de Recherche Technologique Railenium, F-59300 Famars, France.
Cite:Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul, "A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification," International Journal of Computer and Electrical Engineering vol. 11, no. 1, pp. 11-19, 2019.
General Information
What's New
-
Jun 03, 2019 News!
IJCEE Vol. 9, No. 2 - Vol. 10, No. 2 have been indexed by EI (Inspec) Inspec, created by the Institution of Engineering and Tech.! [Click]
-
May 13, 2020 News!
IJCEE Vol 12, No 2 is available online now [Click]
-
Mar 04, 2020 News!
IJCEE Vol 12, No 1 is available online now [Click]
-
Dec 11, 2019 News!
The dois of published papers in Vol 11, No 4 have been validated by Crossref
-
Oct 11, 2019 News!
IJCEE Vol 11, No 4 is available online now [Click]
- Read more>>