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

Saved in:

Bibliographic Details
Main Authors:	Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
Format:	Article
Language:	English
Published:	Polish Information Processing Society 2021-09-01
Series:	Annals of computer science and information systems
Online Access:	https://annals-csis.org/Volume_25/drp/pdf/98.pdf
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet