Rodin: An Open Toolset For Modelling And Reasoning In Event-B

·2010·DOI
Health Data Science
Data Science and Technologies
Computational Modeling and Optimization
Distributed Event Control Systems

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Computational Modeling and Optimization
Neutralin Distributed Event Control Systems

Abstract

Citations

508

Year

2010

PageRank

3.2 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Dynamic Triggering Mechanisms For Event-Triggered Control
·2015·1,430 citations
Distributed Event-Triggered Control For Multi-Agent Systems
·2012·2,080 citations
Event-Triggering In Distributed Networked Control Systems
·2011·1,000 citations
Modeling In Event-B
·2010·1,127 citations
Introduction To Discrete Event Systems
·2008·1,350 citations
Event History Modeling
·2004·1,218 citations
Design And Evaluation Of A Wide-Area Event Notification Service
·2001·969 citations
Introduction To Discrete Event Systems
·1999·1,060 citations
A Logic-Based Calculus Of Events
·1986·1,010 citations
Discrete-Time Methods For The Analysis Of Event Histories
·1982·1,066 citations
Time, Clocks, And The Ordering Of Events In A Distributed System
·1978·5,921 citations