Login / Signup

Using Logic Coverage to Improve Testing Function Block Diagrams.

Eduard Paul EnoiuDaniel SundmarkPaul Pettersson
Published in: ICTSS (2013)
Keyphrases
  • multi valued
  • classical logic
  • predicate logic
  • sound and complete axiomatization