Design Verification through Function- and Behavior-Oriented Representations
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Evaluating design using knowledge of purpose and knowledge of structureIEEE Expert, 1991
- Deriving and using descriptions of purposeIEEE Expert, 1991
- Device representation-the significance of functional knowledgeIEEE Expert, 1991
- Qualitative simulationArtificial Intelligence, 1986
- Causality in device behaviorArtificial Intelligence, 1986