Publication | Closed Access
State-of-the-practice in knowledge-based system verification and validation
38
Citations
3
References
1991
Year
Knowledge RepresentationEngineeringAutomated ReasoningSoftware ValidationVerificationKnowledge-based System VerificationFormal MethodsSystems EngineeringComputer ScienceModel VerificationFormal VerificationSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1