The Community for Technology Leaders
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. (2003)
San Francisco, California
June 22, 2003 to June 25, 2003
ISBN: 0-7695-1952-0
pp: 764
Masahiro Fujita , University of Tokyo
David Gluch , Embry-Riddle University
INDEX TERMS
null
CITATION

D. Gluch, M. Fujita and E. Clarke, "Model Checking for Dependable Software-Intensive Systems," 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.(DSN), San Francisco, California, 2003, pp. 764.
doi:10.1109/DSN.2003.10001
94 ms
(Ver 3.3 (11022016))