Login / Signup
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.
Tatiana V. Liakh
Andrei Rozov
Vladimir Zyubin
Sergey M. Staroletov
Thomas Baar
Horst Schulte
Ivan Konyukhov
Nikolay Shilov
Published in:
FedCSIS (2021)
Keyphrases
</>
case study
modeling language
water level
databases
real world
control system
colored petri nets
digital images
knowledge management
petri net
lessons learned
data sets
neural network
image sequences
software development