3 records found
1
Development, validation and application of Stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes
Systematic validation of a mathematical model of ACAS operations for safety assessment purposes
Developing a generic metric of terminal airspace traffic complexity