Login / Signup
Model-based construction and verification of critical systems using composition and partial refinement.
Ralph D. Jeffords
Constance L. Heitmeyer
Myla Archer
Elizabeth I. Leonard
Published in:
Formal Methods Syst. Des. (2010)
Keyphrases
</>
data driven
case study
computing systems
artificial intelligence
information systems
building blocks
database
complex systems
data sets
decision making
expert systems
management system
knowledge based systems
learning systems
formal verification
asynchronous circuits