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: 112
INDEX TERMS
CITATION

R. Kemmerer, "Formally Specifying and Verifying Real-Time Systems," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 112.
doi:10.1109/ICFEM.1997.630415
83 ms
(Ver 3.3 (11022016))