[IEEE 2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS) - Florence, Italy (2015.5.23-2015.5.23)] 2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS) - Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems
Qian, Jie, Liu, Jing, Chen, Xiang, Sun, JunfengРік:
2015
Мова:
english
DOI:
10.1109/coufless.2015.15
Файл:
PDF, 264 KB
english, 2015