DocumentCode
2974748
Title
Completely Validated Software
Author
Kemmerer, Richard A.
Author_Institution
University Of California
fYear
1989
fDate
15-18 May 1989
Firstpage
359
Lastpage
360
Keywords
Computer science; Control systems; Distributed computing; Formal specifications; Formal verification; Machinery; Permission; Production systems; Real time systems; Weapons;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1989. 11th International Conference on
ISSN
0270-5257
Print_ISBN
0-8186-8941-2
Type
conf
DOI
10.1109/ICSE.1989.714452
Filename
714452
Link To Document