Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu, Michael J. Butler, Corina Crstea

Browse the full TASE paper archive.