Login / Signup

Improving Live Sequence Chart to Automata Transformation for Verification.

Rahul KumarEric G. Mercer
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases
  • model checking
  • machine learning
  • finite state machines
  • finite state
  • real time
  • artificial intelligence
  • finite automata
  • database
  • databases
  • computer vision
  • cellular automata
  • probabilistic automata