[IEEE 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Guilin, China (2019.7.29-2019.7.31)] 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B
Dupont, G., Ait-Ameur, Y., Pantel, M., Singh, N. K.Year:
2019
Language:
english
DOI:
10.1109/tase.2019.00-25
File:
PDF, 236 KB
english, 2019