- Tytuł:
- Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
- Autorzy:
-
Staroletov, Sergey
Schulte, Horst
Baar, Thomas
Konyukhov, Ivan
Shilov, Nikolay
Rozov, Andrei
Liakh, Tatiana
Zyubin, Vladimir - Data publikacji:
- 2021
- Słowa kluczowe:
-
automata theory
cyber-physical systems
formal specification
formal verification
safety critical software
theorem proving
teoria automatów
systemy cyber-fizyczne
formalna specyfikacja
weryfikacja formalna
oprogramowanie krytyczne dla bezpieczeństwa
dowodzenie twierdzeń - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł