Dynamically coloured Petri nets for air traffic management safety purposes

Loading...
Thumbnail Image

Date

Authors

Everdij, M.H.C.
Blom, H.A.P.
Klompstra, M.B.

Journal Title

Journal ISSN

Volume Title

Publisher

National Aerospace Laboratory NLR

License Holder

Licence Type

Sponsor

Abstract

Description

Keywords

Citation

Collections

Endorsement

Review

Supplemented By

Referenced By