|
[1]
|
F. Kordon, B. Bérard, Y. Thierry-Mieg and Y. Ben Maissa. Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification. In Dagstuhl seminar , number 12272, Schloss Dagstuhl, July 2012. [ bib |
pdf ]
|
|
[2]
|
Y. Ben Maissa, F. Kordon, S. Mouline, Y. Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. In International Workshop on Petri Nets and Software Engineering (PNSE'12), volume 851, pages 60-76, Hamburg, Germany, 2012. CEUR.
[ bib |pdf ]
|
|
[3]
|
Y. Ben Maissa and S. Mouline. A SysML profile for Wireless sensor networks
modeling. In 5th International Symposium on Image/Video Communications (ISIVC'10),
volume 726, pages 1-4, Rabat, Morocco, October 2010. IEEE.
[ bib ]
|
