Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| 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!
|
| _version_ | 1849717315563683840 |
|---|---|
| author | Tatiana Liakh Andrei Rozov Vladimir Zyubin Sergey Staroletov Thomas Baar Horst Schulte Ivan Konyukhov Nikolay Shilov |
| author_facet | Tatiana Liakh Andrei Rozov Vladimir Zyubin Sergey Staroletov Thomas Baar Horst Schulte Ivan Konyukhov Nikolay Shilov |
| author_sort | Tatiana Liakh |
| collection | DOAJ |
| format | Article |
| id | doaj-art-f5d9bafb3eaa44d4aa56dfcec508bc01 |
| institution | DOAJ |
| issn | 2300-5963 |
| language | English |
| publishDate | 2021-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-f5d9bafb3eaa44d4aa56dfcec508bc012025-08-20T03:12:42ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632021-09-012548548810.15439/2021F98Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case StudyTatiana LiakhAndrei RozovVladimir ZyubinSergey StaroletovThomas BaarHorst SchulteIvan KonyukhovNikolay Shilovhttps://annals-csis.org/Volume_25/drp/pdf/98.pdf |
| spellingShingle | 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 Annals of computer science and information systems |
| title | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study |
| title_full | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study |
| title_fullStr | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study |
| title_full_unstemmed | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study |
| title_short | Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study |
| title_sort | modeling and verification using different notations for cpss the one water tank case study |
| url | https://annals-csis.org/Volume_25/drp/pdf/98.pdf |
| work_keys_str_mv | AT tatianaliakh modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT andreirozov modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT vladimirzyubin modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT sergeystaroletov modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT thomasbaar modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT horstschulte modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT ivankonyukhov modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy AT nikolayshilov modelingandverificationusingdifferentnotationsforcpsstheonewatertankcasestudy |