Conference
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B
| Τίτλος: | Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B |
|---|---|
| Συγγραφείς: | Zhu, C., Butler, M., Cirstea, C. |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781728133423 |
|---|---|
| DOI: | 10.1109/TASE.2019.00-26 |