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 RamanVolume:
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