Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.

Abdelouahed Gherbi, Ferhat Khendek

Browse the full ISORC paper archive.