Вы здесь

Главная

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
верификация
спецификация
язык программирования
формальная логика
темпоральная логика
кибер-физическая система
тестирование по
анализ программ
синтаксис
стохастическая система
model checking
runtime-verification
Стр.: 
552 p.
Редактор: 
Chen Y. -F.
Cheng C. -H.
Esparza J.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11781
Карточка: 

Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019Ed. by Chen Y. -F., Cheng C. -H., Esparza J..-Berlin.: Springer, 2019.-Vol. 11781.-552 p.-(Lecture Notes in Computer Science).