Publication | Closed Access
Rodin: an open toolset for modelling and reasoning in Event-B
663
Citations
15
References
2010
Year
ReasoningEngineeringData ScienceReasoning SystemAutomated ReasoningEvent-driven ProgrammingOpen ToolsetModel-based ReasoningFormal MethodsComputer ScienceSemantic ReasonerSemanticsSemantic WebFormal VerificationComputer-assisted ReasoningData Modeling
| Year | Citations | |
|---|---|---|
Page 1
Page 1