- Standort
-
Hannover TIB
- Umfang
-
79MB, 00:16:59:21 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
hybrid systems
theorem proving
dynamic logic
formal verification
cyber-physical systems
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Kolčák, Juraj
Katsumata, Shin-ya
Dubut, Jérémy
Yamada, Akihisa
Hasuo, Ichiro
Sprunger, David
- DOI
-
10.5446/55024
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Kolčák, Juraj
- Katsumata, Shin-ya
- Dubut, Jérémy
- Yamada, Akihisa
- Hasuo, Ichiro
- Sprunger, David
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Dynamic monopoly with relational incentives
Interactive relational database design : a logic programming implementation
First-order dynamic logic
Managing Dynamic Workloads in Relational Database Systems
Belief change and dynamic logic
Robust Differential Dynamic Programming
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach
A quantum logic-based query processing approach for extending relational query languages
Meaning, relation, and existence in Plato's Parmenides : the logic of relational realism
Logic-based modeling of dynamic object systems
Fuzzy partial differential equations and relational equations : reservoir characterization and modeling