مؤتمر
Decomposing Automatic Train Control Verification System with Projection
العنوان: | Decomposing Automatic Train Control Verification System with Projection |
---|---|
المؤلفون: | Xu, Jing, Chen, Xiaohong, Zhou, Tingliang, Yuan, Zhengheng, Huang, Kezhen |
المصدر: | 2015 Asia-Pacific Software Engineering Conference (APSEC) Software Engineering Conference (APSEC), 2015 Asia-Pacific. :301-308 Dec, 2015 |
Relation: | 2015 Asia-Pacific Software Engineering Conference (APSEC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781467396448 |
---|---|
تدمد: | 15301362 |
DOI: | 10.1109/APSEC.2015.10 |