Modeling and verification of temporal properties in cyber-physical systems.

Imen Graja Slim Kallel Nawal Guermouche Ahmed Hadj Kacem

Published in: CCNC (2017)

Keyphrases

temporal properties
model checking
formal methods
cyber physical systems
cyber physical
formal specification
artificial intelligence
low cost
logic programs
modeling language