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]
Abstract is missing.