Вы здесь

Formal Verification Of UML Statecharts with Real-Time Extensions

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.218-232
Библиография: 
Bibliogr.: p.231-232
Издательство: 
Том: 
2306
Карточка: 

Б3.51, Б3.54.

David A., Moller M. O., Yi W..

Formal Verification Of UML Statecharts with Real-Time Extensions: Springer// Lecture Notes in Computer Science-2002.-Vol. 2306.-P.218-232
Bibliogr.: p.231-232

Таблица в старой библиотеке: 
PAP24 854