Formal Analysis and Verification of Airborne Software Based...

Electronics 2020 / 02 Vol. 9; Iss. 2

Formal Analysis and Verification of Airborne Software Based on DO-333

Cao, Zongyu, Lv, Wanyou, Huang, Yanhong, Shi, Jianqi, Li, Qin
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
9
Language:
english
Journal:
Electronics
DOI:
10.3390/electronics9020327
Date:
February, 2020
File:
PDF, 3.89 MB
english, 2020
Conversion to is in progress
Conversion to is failed