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

Abdelouahed Gherbi Ferhat Khendek

Published in: ISORC (2007)

Keyphrases

data analysis
timed automata
shortest path
conceptual models
uml activity diagrams
real time
database systems
probabilistic model
scheduling problem
sufficient conditions
software systems
model checking
life cycle
reachability analysis