- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 2012 Ninth International Conference on Quantitative Evaluation of Systems: QEST'12, Proceedings, 17-20 September 2012, London, United Kingdom, S. 104-113, ISBN: 978-0-7695-4781-7
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- (wann)
-
2013
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2013
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa-121261
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:39 MESZ
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
- Fernández-Díaz, Álvaro
- Baier, Christel
- Benac-Earle, Clara
- Fredlund, Lars-Åke
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- Technische Universität Dresden
Entstanden
- 2013
Ähnliche Objekte (12)
Static probabilistic timing analysis for multi-path programs
Deracemization through Concurrent Oxidation and Reduction
Partial pole placement using static output feedback
Reduction methods for probabilistic model checking
State-discrete probabilistic methods for partial differential equations
State-Discrete Probabilistic Methods for Partial Differential Equations
Reduction Techniques for Nondeterministic and Probabilistic Systems
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
On the application of static probabilistic timing analysis to memory hierarchies
Partial reduction and Delaunay/Deprit variables
Static byte-code analysis for state space reduction
Compositional control-flow reduction for probabilistic model checking
Static probabilistic timing analysis for multi-path programs
Deracemization through Concurrent Oxidation and Reduction
Partial pole placement using static output feedback
Reduction methods for probabilistic model checking
State-discrete probabilistic methods for partial differential equations
State-Discrete Probabilistic Methods for Partial Differential Equations
Reduction Techniques for Nondeterministic and Probabilistic Systems
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
On the application of static probabilistic timing analysis to memory hierarchies
Partial reduction and Delaunay/Deprit variables
Static byte-code analysis for state space reduction
Compositional control-flow reduction for probabilistic model checking
Static probabilistic timing analysis for multi-path programs
Deracemization through Concurrent Oxidation and Reduction
Partial pole placement using static output feedback
Reduction methods for probabilistic model checking
State-discrete probabilistic methods for partial differential equations
State-Discrete Probabilistic Methods for Partial Differential Equations
Reduction Techniques for Nondeterministic and Probabilistic Systems
On the correctness, optimality and precision of Static Probabilistic Timing Analysis
On the application of static probabilistic timing analysis to memory hierarchies
Partial reduction and Delaunay/Deprit variables
Static byte-code analysis for state space reduction