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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tatiana Liakh' in GoogleThis author has not been identified. Look up 'Andrei Rozov' in GoogleThis author has not been identified. Look up 'Vladimir Zyubin' in GoogleThis author has not been identified. Look up 'Sergey Staroletov' in GoogleThis author has not been identified. It may be one of the following persons:

Thomas Baar

Look up 'Thomas Baar' in GoogleThis author has not been identified. Look up 'Horst Schulte' in GoogleThis author has not been identified. Look up 'Ivan Konyukhov' in GoogleThis author has not been identified. Look up 'Nikolay Shilov' in Google

runs on WebDSL