Вы здесь

Главная

Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
сети петри
формальный язык
теория автоматов
формальный метод
model checking
моделирование вычислений
safety-critical system
система программирования
моделирование
теория вычислений
временная система
Стр.: 
253 p.
Редактор: 
Legay A.
Bozga M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8711
Карточка: 

Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014Ed. by Legay A., Bozga M..-Berlin.: Springer, 2014.-Vol. 8711.-253 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO10 696