Formal verification of lateral and temporal safety buffers for state-based conflict detection
Proceedings of the Institution of Mechanical Engineers / G ; 227 , 9 ; 1412-1424
2013
Aufsatz (Zeitschrift)
Englisch
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
|