Dennis Guck - Veröffentlichungen allgemein

(1 - 7 von 7

)

Modelling, Reduction and Analysis of Markov Automata | SpringerLink

link.springer.com

Institut für Technische Informatik, Universität der Bundeswehr München; Dennis Guck (20) (22); Hassan Hatefi (21); Holger Hermanns (21); Joost-Pieter ...

Dennis Guck - Wikidata

www.wikidata.org

Ph.D. Universiteit Twente 2017

Modelling, Reduction and Analysis of Markov Automata

link.springer.com

von D Guck · · Zitiert von: 56 — Dennis Guck & Joost-Pieter Katoen. Dependable Systems and Software, Saarland University, Germany. Hassan Hatefi & Holger Hermanns. Formal Methods and Tools, ... von D Guck · · Zitiert von: 61 — RWTH Aachen University, Germany. Dennis Guck & Joost-Pieter Katoen · University of Oxford, UK. Tingting Han · Saarland University, Germany. Martin R. Neuhäußer. › chapter

Verwandte Suchanfragen zu Dennis Guck

Mark Timmer
Dimitra Giannakopoulou
Sebastian Junges

Florian Arnold
Hassan Hatefi
Joost-Pieter Katoen

Andreas Griesmayer
Jerzy Filar
Johann Schumann

Person "Guck" (1)
Vorname "Dennis" (33690)
Name "Guck" (149)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Dennis Guck

Modelling, Reduction and Analysis of Markov Automata | SpringerLink

Dennis Guck - Wikidata

Modelling, Reduction and Analysis of Markov Automata

DFTC alc: A Tool for Efficient Fault Tree Analysis | SpringerLinklink.springer.com › chapter

Modelling and Analysis of Markov Reward Automata | SpringerLink

Quantitative Timed Analysis of Interactive Markov Chains |...

Quantitative Evaluation of Systems | SpringerLink