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

Chenyang Zhu, Michael J. Butler, Corina Crstea, Thai Son Hoang

Browse the full TASE paper archive.