Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes
2013
Aufsatz (Zeitschrift)
Englisch
BKL: | 55.84 Straßenverkehr |
Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes
British Library Conference Proceedings | 1997
|ACAS X safety analysis in the current RTCA environment
IEEE | 2015
|ACAS X safety analysis in the current RTCA environment
IEEE | 2015
|