Publication | Closed Access
Formalizing hybrid systems with Event-B and the Rodin Platform
52
Citations
14
References
2014
Year
Event-driven ArchitectureEngineeringDiscrete Event SystemAutomated ReasoningEvent-driven ProgrammingFormal MethodsSystems EngineeringRodin PlatformComputer ScienceFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1