Login / Signup
Stian Thorvaldsen
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
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) (2009)
Peter Csaba Ölveczky
,
Stian Thorvaldsen
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
FMOODS
(2007)
Peter Csaba Ölveczky
,
Stian Thorvaldsen
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
IPDPS
(2006)