Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow. Transactions on Petri Nets and Other Models of Concurrency VIII, pp.24-47, 2013. ,
, Eclipse modeling framework
, Graphical modeling framework
The rational unified process: an introduction, 2004. ,
, Meta object facility (MOF) 2.5. OMG standard, 2015.
Symbolic model-checking using ITS-Tools, TACAS. Lecture Notes in Computer Science, vol.9035, pp.231-237, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02104373
, Unified modeling language (UML) 1.1. OMG standard, 1997.
Controllability for Discrete Event Systems Modeled in VeriJ, International Journal of Critical Computer-Based Systems, vol.5, issue.3/4, pp.218-240, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01176427