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