[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Automated Conformance Verification of Hybrid Systems
Brandl, Harald, Weiglhofer, Martin, Aichernig, Bernhard K.Рік:
2010
Мова:
english
DOI:
10.1109/qsic.2010.53
Файл:
PDF, 423 KB
english, 2010