Login / Signup

Bisimulation Verification for the DPO Approach with Borrowed.

Guilherme RangelBarbara KönigHartmut Ehrig
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2007)
Keyphrases
  • model checking
  • face verification
  • face recognition
  • signature verification
  • formal verification
  • real time
  • genetic algorithm
  • decision trees
  • database systems
  • asynchronous circuits
  • concurrent systems