Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
| Title: | Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B |
|---|---|
| Authors: | Zhu, C.; Butler, M.; Cirstea, C. |
| Source: | 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2019 International Symposium on. :1-8 Jul, 2019 |
| Relation: | 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
| Database: | IEEE Xplore Digital Library |