Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes
Transportation research / C ; 33 ; 167-195
2013
Aufsatz (Zeitschrift)
Englisch
BKL: | 55.84 Straßenverkehr |
Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes
British Library Conference Proceedings | 1997
|AIR TRANSPORT Eurocontrol examines ACAS downlinking to boost safety
Online Contents | 2006
ACAS X safety analysis in the current RTCA environment
IEEE | 2015
|