Login / Signup

On termination and invariance for faulty channel machines.

Patricia BouyerNicolas MarkeyJoël OuakninePhilippe SchnoebelenJames Worrell
Published in: Formal Aspects Comput. (2012)
Keyphrases
  • model based diagnosis
  • multi channel
  • term rewriting
  • database
  • computer simulation
  • data sets
  • website
  • video sequences
  • discriminative power
  • machine intelligence
  • rewrite systems