Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean. Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. In 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018. pages 1541-1546, IEEE, 2018. [doi]
@inproceedings{PredutIGC18,
title = {Formal Modelling of Cruise Control System Using Event-B and Rodin Platform},
author = {Sorina-Nicoleta Predut and Florentin Ipate and Marian Gheorghe and Felician Campean},
year = {2018},
doi = {10.1109/HPCC/SmartCity/DSS.2018.00253},
url = {https://doi.org/10.1109/HPCC/SmartCity/DSS.2018.00253},
researchr = {https://researchr.org/publication/PredutIGC18},
cites = {0},
citedby = {0},
pages = {1541-1546},
booktitle = {20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018},
publisher = {IEEE},
isbn = {978-1-5386-6614-2},
}