DocumentCode
990721
Title
Computer-aided dispatch system family architecture and verification: an integrated formal approach
Author
Sun, J. ; Dong, J.S. ; Jarzabek, S. ; Wang, H.
Volume
153
Issue
3
fYear
2006
fDate
6/1/2006 12:00:00 AM
Firstpage
102
Lastpage
112
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
Filename
1645517
Link To Document