Главная
» Электронная библиотека » Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV - execution semantics
Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV - execution semantics
ИР автоматически получен из ЭБС Scoupus
| Категория: | физико-математические науки | |
| Авторы (ПГУ): | Дубинин Виктор Николаевич [100]  | |
| Тип: | Статья | |
| Вид: | электронное немультимедийное издание | |
| Количество частей: | 1 | |
| Год издания: | 2015 | |
| Место опубликования: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
| Индексация: | Scopus, входящем в 3(Q3) и 4 (Q4) квартили (тип документа Article, Review, Proceedings Paper, Book Chapter) | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| DOI: | 10.1007/978-3-319-25942-0_20 | |
| Внешняя веб-ссылка: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84951190237&origin=inward | |
| Язык: | Русский | |
| Дата размещения: | 06.11.2019 | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1572993657  | |
| Формат: | Не указан |