Автор:
| Название: | Towards formal verification for cyber-physically agnostic software: A case study | 
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2017 | |
| Дата загрузки: | 18.11.2018 | |
| Издательство: | IEEE Publisher | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Формальная верификация киберфизических систем управления со случайными временными задержками |
|
| Тематика: | техника | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2018 | |
| Дата загрузки: | 26.11.2018 | |
| Издательство: | Изд. ПГУ | |