[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
Grasland, Yves, du Bousquet, Lydie, Groz, Roland, Parissis, IoannisРік:
2013
Мова:
english
DOI:
10.1109/icst.2013.25
Файл:
PDF, 282 KB
english, 2013