Вы здесь

Главная

Formal Methods for Industrial Critical Systems: Proc./24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
формальная логика
формальный метод
model checking
model-based testing
язык программирования
спецификация
верификация
Стр.: 
161 p.
Редактор: 
Larsen K. G.
Willemse T.A. C.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11687
Карточка: 

Formal Methods for Industrial Critical Systems: Proc./24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 2019Ed. by Larsen K. G., Willemse T.A. C..-Berlin.: Springer, 2019.-Vol. 11687.-161 p.-(Lecture Notes in Computer Science).