|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладкистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: ПЕТРОВ О.М.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 35
- Номер: 3
- Год издания: 2023
- Первая страница: 151
- Последняя страница: 162
- DOI: 10.15514//ISPRAS-2023-35(3)-11
- Добавил в систему: Корухова Людмила Сергеевна