Подписаться
Максим Алексеевич Петров
Максим Алексеевич Петров
Peter the Great St.Petersburg Polytechnic University (SPbPU)
Подтвержден адрес электронной почты в домене kspt.icc.spbstu.ru
Название
Процитировано
Процитировано
Год
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
122016
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
22015
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
12015
Репозиторий образовательных программ
ТС Крикун, МА Петров, СА Косолапов, ПС Кирпиченков, СА Сагадаева, ...
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–9