Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.

Chenyang Zhu Michael J. Butler Corina Cîrstea Thai Son Hoang

Published in: TASE (2021)

Keyphrases

real time systems
real time
probabilistic model
distributed systems
artificial intelligence
database systems
event detection
simplifying assumptions