Decomposing Automatic Train Control Verification System with Projection.
| Autor: | Xu, Jing, Chen, Xiaohong, Zhou, Tingliang, Yuan, Zhengheng, Huang, Kezhen |
|---|---|
| Zdroj: | 2015 Asia-Pacific Software Engineering Conference (APSEC); 2015, p301-308, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|