950 search results - page 39 / 190 » Software model checking with SPIN |
62
Voted
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
PADL
2007
Springer
15 years 3 months ago
2007
Springer
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
MSWIM
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...