- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2013
- Identifier
-
1036974731
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Frameworks for analyzing multi-threaded C
Proving Noninterference in Multi-Agent Systems
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Verification of Reachability Properties and Termination for Probabilistic Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Generalized Petri Nets: Algorithms and Complexity
An implementation for algorithmic game solving and its applications in system synthesis
Sparse Matrix Computations and their I/O Complexity
Model-based Plan Assessment for Autonomous Technical Systems
Learning Probabilistic Subsequential Transducers
Frameworks for analyzing multi-threaded C
Proving Noninterference in Multi-Agent Systems
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Verification of Reachability Properties and Termination for Probabilistic Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Generalized Petri Nets: Algorithms and Complexity
An implementation for algorithmic game solving and its applications in system synthesis
Sparse Matrix Computations and their I/O Complexity
Model-based Plan Assessment for Autonomous Technical Systems
Learning Probabilistic Subsequential Transducers
Frameworks for analyzing multi-threaded C
Proving Noninterference in Multi-Agent Systems
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Verification of Reachability Properties and Termination for Probabilistic Systems
Methods for the Diagnosis and Automatic Repair of Software Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Generalized Petri Nets: Algorithms and Complexity
An implementation for algorithmic game solving and its applications in system synthesis
Sparse Matrix Computations and their I/O Complexity
Model-based Plan Assessment for Autonomous Technical Systems