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