Вы здесь

Главная

Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
model checking
верификация архитектуры
теория автоматов
распределенная система
встроенная система
формальный язык
формальная логика
формальный метод
качество по
темпоральная логика
технология верификации
Стр.: 
940 p.
Редактор: 
Silva A.
Leino K.R. M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
12760
Карточка: 

Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021Ed. by Silva A., Leino K.R. M..-Berlin.: Springer, 2021.-Vol. 12760.-940 p.-(Lecture Notes in Artificial Intelligence).