|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-моделистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Девянин П.Н., Леонова М.А.
- Журнал: Программная инженерия
- Том: 11
- Номер: 4
- Год издания: 2020
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Первая страница: 230
- Последняя страница: 241
- Добавил в систему: Кривчиков Максим Александрович