FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION
Congress; 27th, International Council of the Aeronautical Sciences (Congress); ICAS 2010; [electronic resource] ; 2010 ; Nice, France
International Council of the Aeronautical Sciences (Congress); ICAS 2010; [electronic resource] ; ICAS 2010-10.3.2
2010-01-01
ICAS 2010-10.3.2
Includes bibliographical references and author index; Held on CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal verification of lateral and temporal safety buffers for state-based conflict detection
SAGE Publications | 2013
|Formal verification of lateral and temporal safety buffers for state-based conflict detection
Online Contents | 2013
|Safety verification of conflict resolution manoeuvres
IEEE | 2001
|