Страницы, ссылающиеся на «An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts»
Следующие страницы ссылаются на «An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)