Login / Signup
The Dark Side of Timed Opacity.
Franck Cassez
Published in:
ISA (2009)
Keyphrases
</>
petri net
timed automata
discrete event
finite state machines
metadata
foreground and background
databases
high quality
cooperative
expert systems
markov random field
model checking