An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statechartsстатья

Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.

Работа с статьей


[1] An experience on using simulation environment dyana augmented with uppaal for verification of embedded systems defined by uml statecharts / I. V. Konnov, V. V. Podymov, D. Y. Volkanov et al. // Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint. — Saint Petersburg State Polytechnical University Petersburg, Russia, 2013. — P. 32–46.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть