Автор:

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