Title :
Formal methods and industry
Author :
Alves-Foss, J. ; Kelley-Sobel, A.E.
Author_Institution :
University of Idaho
Abstract :
Summary form only given. Presents the introduction to the minitrack on Formal methods and industry.
Keywords :
Algebra; Application software; Computer industry; Embedded system; Failure analysis; Industrial accidents; Protocols; Risk analysis; Software architecture; Switching systems;
Conference_Titel :
Systems Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on
Conference_Location :
Maui, HI, USA
Print_ISBN :
0-7695-0001-3
DOI :
10.1109/HICSS.1999.772887
