Вы здесь

Главная

Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
операционная система
кибер-физическая система
встроенная система
формальная логика
формальный метод
формальная верификация
теория графов
model checking
онтология
решение проблем
язык программирования
разработка по
спецификация
доказательство теорем
верификация
Стр.: 
550 p.
Редактор: 
Olveczky P. C.
Salaum G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11724
Карточка: 

Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019Ed. by Olveczky P. C., Salaum G..-Berlin.: Springer, 2019.-Vol. 11724.-550 p.-(Lecture Notes in Computer Science).