Вы здесь

Главная

Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
формальный метод
формальное доказательство
спецификация
верификация
система реального времени
runtime-verification
safety-critical system
дизайн по
развитие по
разработка по
моделирование по
тестирование по
эволюция по
Стр.: 
219 p.
Редактор: 
Bowen J. P.
Liu Z.
Zhang Z.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11174
Карточка: 

Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017Ed. by Bowen J. P., Liu Z., Zhang Z..-Berlin.: Springer, 2018.-Vol. 11174.-219 p.-(Lecture Notes in Computer Science).