Publication | Closed Access
Abstractions for hybrid systems
113
Citations
22
References
2007
Year
EngineeringAutomated ReasoningAutomationFormal MethodsAbstraction (Computer Science)Systems EngineeringHybrid SystemsModel AbstractionComputer ScienceFormal VerificationAbstraction Technique
| Year | Citations | |
|---|---|---|
Page 1
Page 1