Andre Metelo, Christiano Braga, Diego N. Brandão. Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena N. Stankova, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu, editors, Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I. Volume 10960 of Lecture Notes in Computer Science, pages 80-95, Springer, 2018. [doi]
@inproceedings{MeteloBB18,
title = {Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata},
author = {Andre Metelo and Christiano Braga and Diego N. Brandão},
year = {2018},
doi = {10.1007/978-3-319-95162-1_6},
url = {https://doi.org/10.1007/978-3-319-95162-1_6},
researchr = {https://researchr.org/publication/MeteloBB18},
cites = {0},
citedby = {0},
pages = {80-95},
booktitle = {Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I},
editor = {Osvaldo Gervasi and Beniamino Murgante and Sanjay Misra and Elena N. Stankova and Carmelo Maria Torre and Ana Maria A. C. Rocha and David Taniar and Bernady O. Apduhan and Eufemia Tarantino and Yeonseung Ryu},
volume = {10960},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-95162-1},
}