Publication | Closed Access
R1: A rule-based configurer of computer systems
942
Citations
6
References
1982
Year
Formal SpecificationEngineeringProgram AnalysisComputer ArchitectureConfiguration ManagementSystems EngineeringSoftware AnalysisFormal MethodsComputer ScienceRule-based ConfigurerFormal VerificationSystem SoftwareSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1