Publication | Closed Access
Verifying feature models using OWL
111
Citations
15
References
2007
Year
EngineeringAutomated ReasoningVerificationFormal MethodsModel VerificationComputer ScienceModel CheckingDescription LogicsSemantic WebFeature ModelsSemantic ReasonerFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1