Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study

Konferenzbeitrag › Konferenzpaper › 2021

Zitation

Liakh, Tatiana; Rozov, Andrei; Zyubin, Vladimir; Staroletov, Sergey; Baar, Thomas; Schulte, Horst; Konyukhov, Ivan; Shilov, Nikolay: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. In: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. Hg. von M. Ganzha / L. Maciaszek / M. Paprzycki / D. Ślęzak. Polish Academy of Sciences, Warsaw, Poland: Annals of Computer Science and Information Systems 2021( 25), S. 485–488.

ISSN

2300-5963

Link

https://doi.org/10.15439/2021F98

Zitieren

BibTeX / RIS