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]
Abstract is missing.