Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov. Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 16th Conference on Computer Science and Intelligence Systems, Online, September 2-5, 2021. pages 485-488, 2021. [doi]
@inproceedings{LiakhRZSBSKS21,
title = {Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study},
author = {Tatiana Liakh and Andrei Rozov and Vladimir Zyubin and Sergey Staroletov and Thomas Baar and Horst Schulte and Ivan Konyukhov and Nikolay Shilov},
year = {2021},
doi = {10.15439/2021F98},
url = {https://doi.org/10.15439/2021F98},
researchr = {https://researchr.org/publication/LiakhRZSBSKS21},
cites = {0},
citedby = {0},
pages = {485-488},
booktitle = {Proceedings of the 16th Conference on Computer Science and Intelligence Systems, Online, September 2-5, 2021},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki and Dominik Slezak},
isbn = {978-83-959183-8-4},
}