Accessible Formal Method Support for PLC Software Development.
John Alexander McDermidR. H. PiercePublished in: SAFECOMP (1995)
Keyphrases
- software development
- preprocessing
- high accuracy
- pairwise
- experimental evaluation
- significant improvement
- high precision
- detection method
- object oriented
- image registration
- similarity measure
- decision making
- data sets
- cost function
- prior knowledge
- computational complexity
- objective function
- multiscale
- clustering method
- case study
- synthetic data