Страницы, ссылающиеся на «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»:

Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)
Источник — «https://mk.cs.msu.ru/index.php/Служебная:Ссылки_сюда/An_experience_on_using_simulation_environment_DYANA_augmented_with_UPPAAL_for_verification_of_embedded_systems_defined_by_UML_statecharts»