Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Бібліографічні деталі
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Association for Computing Machinery (ACM), 4/15/19
Предмети:
Онлайн доступ:Full text available on Research4Life (ACM)

Схожі ресурси