Login / Signup
Verifikation und Wiederverwendung (Verification and Re-Use).
Matthias Bauer
Wolfgang Ecker
Renate Henftling
Martin Zambaldi
Andreas Zinn
Published in:
Informationstechnik Tech. Inform. (2002)
Keyphrases
</>
model checking
real time
face verification
machine learning
artificial intelligence
website
high level
special case
formal verification
test generation
asynchronous circuits
functional verification
protocol specification