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