Login / Signup
TREAT: Timed REachability Analysis Tool.
Inhye Kang
Published in:
PDPTA (1999)
Keyphrases
</>
analysis tool
petri net
state space
timed automata
artificial intelligence
transitive closure
discrete event
colored petri nets
web services
data structure
data analysis
management system
software development
finite state machines