C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of Structured Analysis and Design in HOS.
Chia-Chu Chiang
Roger Y. Lee
Published in:
SERA (2005)
Keyphrases
</>
formal verification
model checking
case study
data analysis
image analysis
rough sets
design process
structured data
design principles
graph theory
bounded model checking