Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum

von Siegle, Markus
Veröffentlicht 1995

Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum

von Siegle, Markus
Veröffentlicht 1995

Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum

von Siegle, Markus
Veröffentlicht 1995

Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum

von Siegle, Markus
Veröffentlicht 1995

Behavior analysis of communication systems : compositional modelling, compact representation and analysis of performability properties

von Siegle, Markus
Veröffentlicht 2002

Behavior analysis of communication systems : compositional modelling, compact representation and analysis of performability properties

von Siegle, Markus
Veröffentlicht 2002

Activity-local symbolic state graph generation for high-level stochastic models

von Lampka, Kai
Veröffentlicht 2005

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

von Soltanieh, Amin
Veröffentlicht in MMB (20. : 2020 : Saarbrücken) Measurement, modelling, and evaluation of computing systems (2020)

On lifetime optimization of Boolean parallel systems with Erlang repair distributions

von Gouberman, Alexander
Veröffentlicht in Operations research proceedings 2010 (2011)

Activity-local symbolic state graph generation for high-level stochastic models

von Lampka, Kai
Veröffentlicht 2005

A stochastic extension of the logic PDL

von Kuntz, Matthias
Veröffentlicht 2004

Rate Lifting for Stochastic Process Algebra — Exploiting Structural Properties

von Siegle, Markus
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

˜Aœ stochastic extension of the logic PDL

von Kuntz, Matthias
Veröffentlicht 2004

Solving Systems of Bilinear Equations for Transition Rate Reconstruction

von Soltanieh, Amin
Veröffentlicht in FSEN (9. : 2021 : Online) Fundamentals of Software Engineering (2021)

˜Aœ specification language for reconfigurable dependable systems, its formalisation and analysis environment

von Riedl, Martin
Veröffentlicht 2014

Modellierung, Simulation und Transformation von diskreten Prozessen in der Produktion und Logistik auf der Basis von SysML

von Schönherr, Oliver
Veröffentlicht 2014

Compositional stochastic process algebra models : a focus on model repair and rate lifting

von Soltanieh, Amin
Veröffentlicht 2023

Selected papers of the annual international conference of the German Operations Research Society (GOR) at Universität der Bundeswehr München : September 1 - 3, 2010

Veröffentlicht 2011

Quantitative evaluation of systems : 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings

Veröffentlicht 2013