Вы здесь

Validation of UML Models via a Mapping to Communicating Extended Timed Automata

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Ключевые слова: 
Стр.: 
P.127-145
Библиография: 
Bibliogr.: p.143-145
Издательство: 
Том: 
2989
Карточка: 

Б3.5, Б3.55.

Ober I., Graf S., Ober I..

Validation of UML Models via a Mapping to Communicating Extended Timed Automata: Springer// Lecture Notes in Computer Science-2004.-Vol. 2989.-P.127-145
Bibliogr.: p.143-145

Таблица в старой библиотеке: 
PAP28 552