Подход к верификации моделей систем реального времени с помощью метода Model Checking
Опубликовано: 31.12.2012
Авторы: Андреев А.М., Козлов И.А.
Опубликовано в выпуске: #11(11)/2012
DOI: 10.18698/2308-6033-2012-11-478
Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети