Methods and tools to the verification of safety-related control software.

Thomas Mertke Thomas Menzel

Published in: SMC (2000)

Keyphrases

statistical methods
database
control software
information systems
significant improvement
benchmark datasets
computational tools
clustering algorithm
case study
image segmentation
face recognition
computational cost
decision support
empirical studies
machine learning algorithms
computationally expensive