Главная
» Электронная библиотека » Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems
Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems
ИР автоматически получен из ЭБС Scoupus
| Категория: | физико-математические науки | |
| Авторы (ПГУ): | Дубинин Виктор Николаевич [100]  | |
| Тип: | Статья | |
| Вид: | электронное немультимедийное издание | |
| Количество частей: | 1 | |
| Год издания: | 2016 | |
| Место опубликования: | 2016 International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings | |
| Индексация: | Scopus, входящем в 3(Q3) и 4 (Q4) квартили (тип документа Article, Review, Proceedings Paper, Book Chapter) | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| DOI: | 10.1109/SIBCON.2016.7491701 | |
| Внешняя веб-ссылка: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84978177068&origin=inward | |
| Язык: | Русский | |
| Дата размещения: | 06.11.2019 | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1572993649  | |
| Формат: | Не указан |