Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.
Z. Boudi, A. Wakrime, S. Dutilleul, and M. Haloua. MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 50-62. Springer, (2018)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/medi/BoudiWDH18
%A Boudi, Zakaryae
%A Wakrime, Abderrahim Ait
%A Dutilleul, Simon Collart
%A Haloua, Mohamed
%B MEDI Workshops
%D 2018
%E Abdelwahed, El Hassan
%E Bellatreche, Ladjel
%E Benslimane, Djamal
%E Golfarelli, Matteo
%E Jean, Stéphane
%E Méry, Dominique
%E Nakamatsu, Kazumi
%E Ordonez, Carlos
%I Springer
%K dblp
%P 50-62
%T Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.
%U http://dblp.uni-trier.de/db/conf/medi/medi2018w.html#BoudiWDH18
%V 929
%@ 978-3-030-02852-7
@inproceedings{conf/medi/BoudiWDH18,
added-at = {2020-06-15T00:00:00.000+0200},
author = {Boudi, Zakaryae and Wakrime, Abderrahim Ait and Dutilleul, Simon Collart and Haloua, Mohamed},
biburl = {https://www.bibsonomy.org/bibtex/22d816fc7c8ff55d3cf4953e21d66957a/dblp},
booktitle = {MEDI Workshops},
crossref = {conf/medi/2018w},
editor = {Abdelwahed, El Hassan and Bellatreche, Ladjel and Benslimane, Djamal and Golfarelli, Matteo and Jean, Stéphane and Méry, Dominique and Nakamatsu, Kazumi and Ordonez, Carlos},
ee = {https://doi.org/10.1007/978-3-030-02852-7_5},
interhash = {0d5acd37e9c968d44c938d2e95d104f1},
intrahash = {2d816fc7c8ff55d3cf4953e21d66957a},
isbn = {978-3-030-02852-7},
keywords = {dblp},
pages = {50-62},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2020-06-16T12:15:23.000+0200},
title = {Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.},
url = {http://dblp.uni-trier.de/db/conf/medi/medi2018w.html#BoudiWDH18},
volume = 929,
year = 2018
}