- Weitere Titel
-
Induktive Aussagen für reguläre Transitionssysteme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2024
- Schlagwort
-
Model Checking
Verifikation
Endlicher Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2024
- Urheber
-
Welzel-Mohr, Christoph
- Beteiligte Personen und Organisationen
-
Esparza Estaun, Francisco Javier
Esparza Estaun, Francisco Javier
Widjaja Lin, Anthony
- URN
-
urn:nbn:de:bvb:91-diss-20240318-1721365-1-0
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Welzel-Mohr, Christoph
- Esparza Estaun, Francisco Javier
- Widjaja Lin, Anthony
- Universitätsbibliothek der TU München
Entstanden
- 2024
Ähnliche Objekte (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