Title of article
Computer-aided dispatch system family architecture and verification: an integrated formal approach
Author/Authors
J. Sun; J.S. Dong; S. Jarzabek; H. Wang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
11
From page
102
To page
112
Journal title
IEE Proceedings Software
Serial Year
2006
Journal title
IEE Proceedings Software
Record number
351981
Link To Document