Вы здесь

Adding Temporal Annotations and Associated Verification to the Ravenscar Profile

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.80-91
Библиография: 
Bibliogr.: p.90-91
Издательство: 
Том: 
2655
Карточка: 

Б3.5.

Burns A., Lin T. -M..

Adding Temporal Annotations and Associated Verification to the Ravenscar Profile: Springer// Lecture Notes in Computer Science-2003.-Vol. 2655.-P.80-91
Bibliogr.: p.90-91

Таблица в старой библиотеке: 
PAP26 982