Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes
2013
Article (Journal)
English
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
|