Publication | Closed Access
rCOS: a formal model-driven engineering method for component-based software
25
Citations
25
References
2012
Year
Component-based SoftwareEngineeringComponent TechnologyComponent-based Software EngineeringFormal MethodsComputer EngineeringSystems EngineeringSoftware EngineeringComponent SystemSoftware AnalysisSystem SoftwareSoftware DesignModel-driven EngineeringFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1