7 search results - page 2 / 2 » Analysis of the zeroconf protocol using UPPAAL |
FMICS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...