Proof of Concept on Application of Formal Methods at...

Proof of Concept on Application of Formal Methods at different phases of development cycle of Avionics Software A Landscaping

Mitra, Raka, Jayakumar, SS, Kishore, Koyalkar Raman
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:
26
Language:
english
Journal:
INCOSE International Symposium
DOI:
10.1002/j.2334-5837.2016.00335.x
Date:
November, 2016
File:
PDF, 1.19 MB
english, 2016
Conversion to is in progress
Conversion to is failed