A Rigorous Method for Inspection of Model-Based Formal Specifications.

Shaoying Liu John Alexander McDermid Yuting Chen

Published in: IEEE Trans. Reliab. (2010)

Keyphrases

high accuracy
dynamic programming
feature selection
objective function
preprocessing
pairwise
significant improvement
cost function
formal specification
database
information systems
case study
clustering method
detection method