[IEEE 2016 Science of Security for Cyber-Physical Systems...

[IEEE 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) - Towards foundational verification of cyber-physical systems

Malecha, Gregory, Ricketts, Daniel, Alvarez, Mario M., Lerner, Sorin

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Рік:

2016

Мова:

english

DOI:

10.1109/SOSCYPS.2016.7580000

Файл:

PDF, 218 KB

english, 2016

Виконується конвертація в

Конвертація в не вдалась