Login / Signup
Logic-based verification of technical documentation.
Christian Schönberg
Franz Weitl
Mirjana Jaksic
Burkhard Freitag
Published in:
ACM Symposium on Document Engineering (2009)
Keyphrases
</>
model checking
knowledge representation
face verification
data mining
artificial intelligence
image sequences
wide variety
signature verification
formal verification
technical issues
real world
decision trees
hidden markov models
temporal logic
cryptographic protocols
technical systems