Publication | Closed Access
Non-standard semantics of hybrid systems modelers
64
Citations
22
References
2011
Year
EngineeringFormal ModelingAutomated ReasoningFormal MethodsSystems EngineeringModel AbstractionSemanticsHybrid Systems ModelersFormal VerificationSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1