 | 2009 |
|---|
| 3 |       | Peter Csaba Ölveczky,
Stian Thorvaldsen:
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.
Theor. Comput. Sci. 410(2-3): 254-280 (2009) |
| 2007 |
|---|
| 2 | | Peter Csaba Ölveczky,
Stian Thorvaldsen:
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
FMOODS 2007: 122-140 |
| 2006 |
|---|
| 1 | | Peter Csaba Ölveczky,
Stian Thorvaldsen:
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
IPDPS 2006 |
