Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem. Modeling and verification of temporal properties in cyber-physical systems. In 14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017. pages 325-330, IEEE, 2017. [doi]
@inproceedings{GrajaKGK17,
title = {Modeling and verification of temporal properties in cyber-physical systems},
author = {Imen Graja and Slim Kallel and Nawal Guermouche and Ahmed Hadj Kacem},
year = {2017},
doi = {10.1109/CCNC.2017.7983127},
url = {https://doi.org/10.1109/CCNC.2017.7983127},
researchr = {https://researchr.org/publication/GrajaKGK17},
cites = {0},
citedby = {0},
pages = {325-330},
booktitle = {14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017},
publisher = {IEEE},
isbn = {978-1-5090-6196-9},
}