Вы здесь

Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1995
Стр.: 
29 p.
Библиография: 
Bibliogr.: p.27-29
Место издания: 
Номер: 
2540
Карточка: 

В3.5, Б3.33, Б2.4.

Jourdan M..

Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers-Le Chesnay., 1995.-29 p.-(Препринт INRIA №2540).
Bibliogr.: p.27-29

Таблица в старой библиотеке: 
PREP2 469