Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios Tsachouridis. Generation of simulink monitors for control applications from formal requirements. In 12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017, Toulouse, France, June 14-16, 2017. pages 1-9, IEEE, 2017. [doi]
@inproceedings{BalsiniNCT17,
title = {Generation of simulink monitors for control applications from formal requirements},
author = {Alessio Balsini and Marco Di Natale and Marco Celia and Vassilios Tsachouridis},
year = {2017},
doi = {10.1109/SIES.2017.7993389},
url = {https://doi.org/10.1109/SIES.2017.7993389},
researchr = {https://researchr.org/publication/BalsiniNCT17},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017, Toulouse, France, June 14-16, 2017},
publisher = {IEEE},
isbn = {978-1-5386-3166-9},
}