Power specification, simulation and verification of SystemC designs K Gagarski, M Petrov, M Moiseev, I Klotchkov 2016 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2016 | 12 | 2016 |
Using a bounded model checker for test generation: how to kill two birds with one SMT solver M Petrov, K Gagarski, M Belyaev, V Itsykson Automatic Control and Computer Sciences 49, 466-472, 2015 | 2 | 2015 |
Automatic transformation of systemc designs to speed up simulation M Petrov, K Gagarski, M Moiseev 2015 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2015 | 1 | 2015 |
Репозиторий образовательных программ ТС Крикун, МА Петров, СА Косолапов, ПС Кирпиченков, СА Сагадаева, ... | | 2019 |
Реестр результатов деятельности университета МХ Ахин, МА Беляев, МА Петров, ТС Крикун, КА Гагарский, ... | | 2019 |
Программа хранения и предоставления нормативно-справочной информации университета МХ Ахин, МА Беляев, ТС Крикун, МА Петров, СА Косолапов, ... | | 2019 |
Средство для ускорения симуляции моделей, описанных на языке SystemC, путём автоматической трансформации исходного кода МА Петров, КА Гагарский, ВМ Ицыксон | | 2016 |
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver M Petrov, K Gagarski, M Belyaev, V Itsykson Modeling and Analysis of Information Systems 21 (6), 83-93, 2014 | | 2014 |
Использование метода ограниченной проверки моделей для генерации тестов МА Петров, КА Гагарский, МА Беляев, ВМ Ицыксон Моделирование и анализ информационных систем 21 (6), 83-93, 2014 | | 2014 |