|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systemsстатья
- Авторы: Zorin D.A., Podymov V.V.
- Сборник: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering
- Год издания: 2012
- Первая страница: 94
- Последняя страница: 101
- Добавил в систему: Подымов Владислав Васильевич