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, vol. 00, no. , pp. 112, 1997, doi:10.1109/ICFEM.1997.630415
81 ms
(Ver 3.3 (11022016))