Publication | Closed Access
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS
81
Citations
10
References
2002
Year
Formal SpecificationEngineeringFormal ModelingAutomated ReasoningDesignAutomationFormal MethodsVerificationSupervision SystemComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1