Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.
Conferences
- Overview
- Identity
- Additional Document Info
- View All