Modeling and Verification using Different Notations for Cyber-Physical Systems: Water-Tank Case Study
Konferenzbeitrag › Konferenzpaper
› 2021
Zitation
Konferenzbeitrag Full Paper
Liakh, Tatiana; Rozov, Andrei; Zyubin, Vladimir; Staroletov, Sergey; Baar, Thomas; Schulte, Horst; Konyukhov, Ivan; Shilov, Nikolay: Modeling and Verification using Different Notations for Cyber-Physical Systems: Water-Tank Case Study. In: Proceedings of the 16th Conference on Computer Science and Intelligence Systems, ACSIS, Vol. 25. o. O.: IEEE 2021, S. 485-488.