Login / Signup
Verification method for the FBD-style design specification using SDT and SMV.
Myung Jun Song
Seo Ryong Koo
Poong-Hyun Seong
Published in:
IASTED Conf. on Software Engineering (2004)
Keyphrases
</>
verification method
model checking
formal verification
data sets
data mining
learning environment
engineering design
design decisions
design tools
real time
databases
artificial intelligence
knowledge base
high level
database
computer aided
conceptual model
modeling language