![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Reachability Verification of Rhapsody Statecharts
Madhukar, Kumar, Metta, Ravindra, Singh, Priyanka, Venkatesh, R.Year:
2013
Language:
english
DOI:
10.1109/ICSTW.2013.73
File:
PDF, 309 KB
english, 2013