%0 Conference Paper %1 conf/icm2/AskarihemmatMB15 %A Askarihemmat, Mohammadhossein %A Mohamed, Otmane Aït %A Boukadoum, Mounir %B ICM %D 2015 %I IEEE %K dblp %P 134-137 %T Formal modeling, verification and implementation of a train control system. %U http://dblp.uni-trier.de/db/conf/icm2/icm2015.html#AskarihemmatMB15 %@ 978-1-4673-8759-0

@inproceedings{conf/icm2/AskarihemmatMB15, added-at = {2020-04-05T00:00:00.000+0200}, author = {Askarihemmat, Mohammadhossein and Mohamed, Otmane Aït and Boukadoum, Mounir}, biburl = {https://www.bibsonomy.org/bibtex/28896818871f16896386c47a36db28963/dblp}, booktitle = {ICM}, crossref = {conf/icm2/2015}, ee = {https://doi.org/10.1109/ICM.2015.7438006}, interhash = {e94fdd9ea0f58691e8994480f4625fc7}, intrahash = {8896818871f16896386c47a36db28963}, isbn = {978-1-4673-8759-0}, keywords = {dblp}, pages = {134-137}, publisher = {IEEE}, timestamp = {2024-04-09T11:26:47.000+0200}, title = {Formal modeling, verification and implementation of a train control system.}, url = {http://dblp.uni-trier.de/db/conf/icm2/icm2015.html#AskarihemmatMB15}, year = 2015 }