共 40 条
[11]
Hang Christine, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P441, DOI 10.1007/978-3-642-22110-1_35
[12]
Hasan S, 2019, NASA TECHNICAL REPOR
[13]
Hillier FS., 1995, INTRO OPERATIONS RES
[14]
Johnson, 2018, NASA TECHNICAL REPOR
[15]
KINNAN LM, 2009, DIGIT AVION SYST CON, P216
[16]
Köppe M, 2012, IMA VOL MATH APPL, V154, P533
[17]
KOREN CI, 2007, FAULT TOLERANT SYSTE
[19]
Loekstad, 2015, US Patent App., Patent No. [14/432,938, 14432938]
[20]
Challenges in Future Avionic Systems on Multi-core Platforms
[J].
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW),
2014,
:115-119