Главная
» Электронная библиотека » Моделирование и тестирование недетерминированных автоматов с использованием языка Moscow ML в системе HOL
Моделирование и тестирование недетерминированных автоматов с использованием языка Moscow ML в системе HOL
| Категория: | техника | |
| Авторы (ПГУ): | Дубинин Виктор Николаевич [80]  , Дубинин Алексей Викторович [10] , Печаткин Константин Владимирович [10] | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2021 | |
| Издательство: | Издательство ПГТУ | |
| Индексация: | РИНЦ | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | Издательство ПГТУ | |
| Библиографическая ссылка: | Дубинин А.В., Печаткин К.В., Дубинин В.Н. Моделирование и тестирование недетерминированных автоматов с использованием языка Moscow ML в системе HOL // Сборник научных статей Международной научно-технической конференции "Современные информационные технологии", Пенза, 2021, вып. 33. – с. 5-16. | |
| Внешняя веб-ссылка: | https://elibrary.ru/item.asp?id=46182198 | |
| Язык: | Русский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 19.11.2021 | |
| Владелец: | Дубинин Виктор Николаевич | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1637338820  | |
| Формат: | Не указан |