Étienne André. Formalizing Time4sys using parametric timed automata. In Dominique Méry, Shengchao Qin, editors, 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. pages 176-183, IEEE, 2019. [doi]
@inproceedings{Andre19-3,
title = {Formalizing Time4sys using parametric timed automata},
author = {Étienne André},
year = {2019},
doi = {10.1109/TASE.2019.000-3},
url = {https://doi.org/10.1109/TASE.2019.000-3},
researchr = {https://researchr.org/publication/Andre19-3},
cites = {0},
citedby = {0},
pages = {176-183},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019},
editor = {Dominique Méry and Shengchao Qin},
publisher = {IEEE},
isbn = {978-1-7281-3342-3},
}