[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Language engineering as an enabler for incrementally defined formal analyses
- 作者Ratiu, Daniel; Schaetz, Bernhard; Voelter, Markus; Kolb, Bernd
- 文件大小510.85KB
- 发表时间2012
- DOI10.1109/formsera.2012.6229790
- 页码9-15
OLSR performance measurement in a military mobile ad hoc networkThierry Plesse; Cedric Adjih; Pascale Minet; Anis Laouiti; Adokoé Plakoo; Marc Badel; Paul Muhlethaler; Philippe Jacquet; Jérôme Lecomte · 2005
[IEEE 2010 IEEE Vehicular Technology Conference (VTC 2010-Fall) - Ottawa, ON, Canada (2010.09.6-2010.09.9)] 2010 IEEE 72nd Vehicular Technology Conference - Fall - Mean Number of Transmissions with CSMA in a Linear NetworkJacquet, Philippe; Muhlethaler, Paul · 2010
[IEEE 2013 IEEE 21st International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS) - San Francisco, CA, USA (2013.08.14-2013.08.16)] 2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems - A Novel Energy Efficient Broadcast Leader ElectionJacquet, Philippe; Milioris, Dimitrios; Muhlethaler, Paul · 2013
[IEEE 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems (MASS) - Atlanta, GA, USA (2008.09.29-2008.10.2)] 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems - Opportunistic routing in wireless ad hoc networks: Upper bounds for the packet propagation speedJacquet, Philippe; Mans, Bernard; Muhlethaler, Paul; Rodolakis, Georgios · 2008