Publication | Closed Access
SYCOJET and SACCO, two tools for verifying expert systems
17
Citations
0
References
1993
Year
Unknown Venue
EngineeringExpert SystemsAutomated ReasoningProgram AnalysisVerificationFormal MethodsSoftware VerificationSystems EngineeringComputer-aided VerificationComputer ScienceModel VerificationSoftware AnalysisFormal Verification
No additional data available for this publication yet. Check back later!