- Alternative title
-
Induktive Aussagen für reguläre Transitionssysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2024
- Keyword
-
Model Checking
Verifikation
Endlicher Automat
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2024
- Creator
-
Welzel-Mohr, Christoph
- Contributor
-
Esparza Estaun, Francisco Javier
Esparza Estaun, Francisco Javier
Widjaja Lin, Anthony
- URN
-
urn:nbn:de:bvb:91-diss-20240318-1721365-1-0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
07.03.2024, 12:00 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Welzel-Mohr, Christoph
- Esparza Estaun, Francisco Javier
- Widjaja Lin, Anthony
- Universitätsbibliothek der TU München
Time of origin
- 2024
Other Objects (12)
Doctorate in transition : statement
Study preparation and transition into regular degree programmes
Inductive expansion
Logic : Inductive
An Interoperability Concept for Inductive Charging Systems
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
k-Inductive invariant checking for graph transformation systems
Inductive Adder for the FCC Injection Kicker System
Partition regular systems of linear inequalities
Convergence of Dynamics on Inductive Systems of Banach Spaces
Production Concepts for Inductive Power Transfer Systems for Vehicles
Verification of graph transformation systems with k-inductive invariants
Doctorate in transition : statement
Study preparation and transition into regular degree programmes
Inductive expansion
Logic : Inductive
An Interoperability Concept for Inductive Charging Systems
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
k-Inductive invariant checking for graph transformation systems
Inductive Adder for the FCC Injection Kicker System
Partition regular systems of linear inequalities
Convergence of Dynamics on Inductive Systems of Banach Spaces
Production Concepts for Inductive Power Transfer Systems for Vehicles
Verification of graph transformation systems with k-inductive invariants
Doctorate in transition : statement
Study preparation and transition into regular degree programmes
Inductive expansion
Logic : Inductive
An Interoperability Concept for Inductive Charging Systems
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
k-Inductive invariant checking for graph transformation systems
Inductive Adder for the FCC Injection Kicker System
Partition regular systems of linear inequalities
Convergence of Dynamics on Inductive Systems of Banach Spaces
Production Concepts for Inductive Power Transfer Systems for Vehicles