DocumentCode :
2779062
Title :
Do formal methods really belong in the toolbox of the practicing engineer?
Author :
King, Lawrence A.
Author_Institution :
New Mexico State University
fYear :
2000
fDate :
2000
Firstpage :
137
Lastpage :
139
Keywords :
Airplanes; Design engineering; Formal verification; Power engineering and energy; Reliability engineering; Resists; Software design; Software performance; Software safety; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Print_ISBN :
0-7695-0927-4
Type :
conf
DOI :
10.1109/HASE.2000.895451
Filename :
895451
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2779062
بازگشت