Rozier, Kristin Yvonne, NASA Ames Research Center, United States
-
Volume 53: Automated Verification of Critical Systems 2012 - Articles
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.