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 :
بازگشت