Login / Signup

Towards lightweight satisfiability solvers for self-verification.

Fritjof BornebuschRobert WilleRolf Drechsler
Published in: ISED (2017)
Keyphrases
  • lightweight
  • model checking
  • face verification
  • dos attacks
  • verification method
  • data model
  • wireless sensor networks
  • communication infrastructure