Development, validation and application of Stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

More Info
expand_more