Verifying the Safety of Aviation Software Based on Extended Colored Petri Net
Zhou, Hang, Zhang, Canheng, Li, Yue, Gu, Yang, Zhou, ShikangVolume:
2019
Language:
english
Journal:
Mathematical Problems in Engineering
DOI:
10.1155/2019/9185910
Date:
April, 2019
File:
PDF, 2.20 MB
english, 2019