Вы здесь

Главная

Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
автономная система
генерация кода
отладка
встроенная система
формальная логика
формальный метод
промышленная система
критическая система
model checking
решение проблем
язык программирования
система реального времени
sat solvers
smt solver
спецификация
тестирование
доказательство теорем
верификация
Стр.: 
291 p.
Редактор: 
Howar F.
Barnat J.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11119
Карточка: 

Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018Ed. by Howar F., Barnat J..-Berlin.: Springer, 2018.-Vol. 11119.-291 p.-(Lecture Notes in Computer Science).