مؤتمر
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 |
Full Text Finder | ردمك: | 9781467396448 |
|---|---|
| تدمد: | 15301362 |
| DOI: | 10.1109/APSEC.2015.10 |