Sign in
Guaranteeing functional safety: design for provability and computer-aided verification.
Holger Täubig
Udo Frese
Christoph Hertzberg
Christoph Lüth
Stefan Mohr
Elena Vorobev
Dennis Walter
Published in:
Auton. Robots (2012)
Keyphrases
</>
computer aided
computer assisted
computer aided design
design tools
computer aided diagnosis
image analysis
functional verification
diagnosis of breast cancer
pulmonary nodules
computer vision
early diagnosis
image processing
model checking
process planning