Treffer: Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

Title:
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Authors:
André, Étienne, Béchennec, Jean-Luc, Chattopadhyay, Sudipta, Faucou, Sébastien, Lime, Didier, Marinho, Dylan, Roux, Olivier H., Sun, Jun
Source:
Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1998-2006
Availability:
http://dl.acm.org/doi/10.1145/3672608.3707861
Database:
ACM Full-Text Collection