Publication | Closed Access
An integrated semantics for reasoning about SysML design models using refinement
22
Citations
15
References
2015
Year
Sysml Design ModelsEngineeringFormal ModelingAutomated ReasoningDesignLogical FrameworkFormal MethodsDescription LogicSystems EngineeringSoftware EngineeringModel AbstractionIntegrated SemanticsFormal VerificationSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1