C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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