Вы здесь

Главная

Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
model checking
формальный метод
зависимый
программное обеспечение
сложная система
моделирование
спецификация
семантика
доказательство теорем
формальная логика
эволюция по
встроенная система
система реального времени
верификация
безопасность данных
Стр.: 
201 p.
Редактор: 
Feng X.
Muller-Oim M.
Yang Z.
Место издания: 
Berlin
Том: 
10998
Карточка: 

Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018Ed. by Feng X., Muller-Oim M., Yang Z..-Berlin., 2018.-Vol. 10998.-201 p.