دورية أكاديمية
Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes
العنوان: | Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes |
---|---|
المؤلفون: | Netjasov, Fedja, Vidosavljevic, Andrija, Tosic, Vojin, Everdij, Mariken H.C., Blom, Henk A.P. |
المصدر: | In Transportation Research Part C August 2013 33:167-195 |
قاعدة البيانات: | ScienceDirect |
تدمد: | 0968090X |
---|---|
DOI: | 10.1016/j.trc.2012.04.018 |