Автор: Дроздов Дмитрий Николаевич
| Название: | A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 19.11.2021 | |
| Издательство: | Institute of Electrical and Electronics Engineers Inc | |
| Название: | Towards formal verification for cyber-physically agnostic software: A case study |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2017 | |
| Дата загрузки: | 18.11.2018 | |
| Издательство: | IEEE Publisher | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Формальная верификация киберфизических систем управления со случайными временными задержками |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |