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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=990721
