Страницы, ссылающиеся на «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 отсутствуют ссылки с других страниц.