Login / Signup
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.
Dragos Truscan
Jüri Vain
Martin Koskinen
Junaid Iqbal
Published in:
ICSOFT (Selected Papers) (2014)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
software tools
real time systems
temporal logic
decision making
image sequences
multi agent systems
expert systems