DocumentCode
2822824
Title
Transferring formal methods technology to industry
Author
Jagadeesan, L.J. ; Godefroid, Patrice ; Kelly, Jonathan ; Miller, Steven ; Weil, F.
Author_Institution
Lucent Technologies
fYear
1998
fDate
23-23 Oct. 1998
Firstpage
128
Lastpage
131
Keywords
Collaboration; Collaborative software; Computer industry; Laboratories; NASA; Object oriented modeling; Propulsion; Software tools; Space technology; Technology transfer;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location
Boca Raton, FL, USA
Print_ISBN
0-7695-0081-1
Type
conf
DOI
10.1109/WIFT.1998.766306
Filename
766306
Link To Document