Вы здесь

Главная

Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
архитектурная верификация
легализация
распределенная система
встроенная система
формальный метод
формальная логика
формальная верификация
дизайн по
качество по
model checking
Стр.: 
325 p.
Редактор: 
de Boer F.
Cerone A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
20901
Том: 
12310
Карточка: 

Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020Ed. by de Boer F., Cerone A..-Berlin.: Springer, 2020.-Vol. 12310.-325 p.-(Lecture Notes in Computer Science).