Главная
» Электронная библиотека » Formal verification of nonfunctional requirements of overall instrumentation and control architectures
Formal verification of nonfunctional requirements of overall instrumentation and control architectures
| Категория: | техника | |
| Авторы (ПГУ): | Дубинин Виктор Николаевич [100]  | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2024 | |
| Издательство: | IEEE Publisher | |
| Где опубликовано: | Зарубежный журнал | |
| Место опубликования: | USA | |
| Индексация: | Web of Science Core Collection Q1 (тип публикации Article) | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | IEEE | |
| DOI: | 10.1109/OJIES.2024.3413568 | |
| Импакт-фактор журнала (SJR): | 6.138 | |
| Библиографическая ссылка: | Ovsiannikova P., Pakonen A., Muromsky D., Kobzev M., Dubinin V., Vyatkin V. Formal verification of nonfunctional requirements of overall instrumentation and control architectures // IEEE Open Journal of the Industrial Electronics Society. – 2024. – Volume 5. – P. 616 - 631. | |
| Внешняя веб-ссылка: | https://ieeexplore.ieee.org/document/10555152 | |
| Язык: | Английский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 02.11.2024 | |
| Владелец: | Дубинин Виктор Николаевич | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1730566159  | |
| Формат: | Не указан |