The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 2
S. Otsuki , Systems Development Laboratory, Hitachi, Ltd.
INDEX TERMS
Computer industry, Project management, Software engineering, Software systems, Financial management, Laboratories, Software quality, Specification languages, Reliability engineering, Software development management
CITATION

S. Otsuki, "Formal Methods For Developing Reliable Software In Industry," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, , pp. 2.
doi:10.1109/ICFEM.1997.630388
93 ms
(Ver 3.3 (11022016))