Publication | Closed Access
The OsMoSys approach to multi-formalism modeling of systems
78
Citations
10
References
2004
Year
Formal SpecificationEngineeringModel-based System EngineeringFormal ModelingAutomated ReasoningFormal MethodsSystems EngineeringModeling And SimulationComputer ScienceOsmosys ApproachFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1