|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statechartsстатья
- Авторы: Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.
- Сборник: Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint
- Год издания: 2013
- Место издания: Saint Petersburg State Polytechnical University Petersburg, Russia
- Первая страница: 32
- Последняя страница: 46
- Добавил в систему: Зорин Даниил Александрович