950 search results - page 39 / 190 » Software model checking with SPIN |
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
99
Voted
PADL
2007
Springer
15 years 9 months ago
2007
Springer
124
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
52
Voted
BMCBI
2010
15 years 3 months ago
2010
133
click to vote
MSWIM
2006
ACM
15 years 9 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...