Pages that link to "Item:Q855013"
From MaRDI portal
The following pages link to Analysis of a biphase mark protocol with Uppaal and PVS (Q855013):
Displaying 6 items.
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Analysis of a clock synchronization protocol for wireless sensor networks (Q764293) (← links)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Q1125438) (← links)
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (Q1318283) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)