Formal verification of lateral and temporal safety buffers for state-based conflict detection
2013
Article (Journal)
English
Formal verification of lateral and temporal safety buffers for state-based conflict detection
SAGE Publications | 2013
|FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION
British Library Conference Proceedings | 2010
|