Вы здесь

Главная

Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018

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

Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018Ed. by Bowen J. P., Liu Zh., Zhang Z..-Berlin.: Springer, 2019.-Vol. 11430.-237 p.-(Lecture Notes in Computer Science).