[IEEE 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Santorini Island, Greece (2007.05.7-2007.05.9)] 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) - Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency
Gherbi, Abdelouahed, Khendek, FerhatYear:
2007
Language:
english
DOI:
10.1109/isorc.2007.57
File:
PDF, 442 KB
english, 2007