老船长

ASN standard

航空安全网站的标准，对于了解航空事故和航空安全有很大帮助

Temporal_ESA_PetriNet

Temporal_ESA_PetriNet是一款应用于petri网建模的工具

codeblocks

适用于C/C++的一体化编程软件，还可用于其他类型语言的编程开发