Login / Signup

Amorphous Slicing of Extended Finite State Machines.

Kelly AndroutsopoulosDavid ClarkMark HarmanRobert M. HieronsZheng LiLaurence Tratt
Published in: IEEE Trans. Software Eng. (2013)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • digital circuits
  • database systems
  • database
  • neural network
  • data model