Вы здесь

Главная

Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
формальный метод
временная система
семантика
верификация
анализ производительности
логика
data-driven methods
scheduling
model checking
теория автоматов
дизайн по
встроенная система
constraint solving
Стр.: 
301 p.
Редактор: 
Bertrand N.
Jansen N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
21018
Том: 
12288
Карточка: 

Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020Ed. by Bertrand N., Jansen N..-Berlin.: Springer, 2020.-Vol. 12288.-301 p.-(Lecture Notes in Computer Science).