Seved Hassan Hatefi - Veröffentlichungen allgemein

(1 - 5 von 5

)

A Tutorial on Interactive Markov Chains | SpringerLink

link.springer.com

A Tutorial on Interactive Markov Chains. Authors; Authors and affiliations. Florian Arnold; Daniel Gebler; Dennis Guck; Hassan Hatefi. Florian Arnold. 1.

Dependable Software Engineering: Theories, Tools, and Applications |...

link.springer.com

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications,...

Quantitative Evaluation of Systems | SpringerLink

link.springer.com

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos...

Modelling, Reduction and Analysis of Markov Automata | SpringerLink

link.springer.com

Dennis Guck (20) (22); Hassan Hatefi (21); Holger Hermanns (21); Joost-Pieter Katoen (20) (22); Mark Timmer (22). Author Affiliations Software Modelling ...

Verwandte Suchanfragen zu Seved Hassan Hatefi

Hassan Hatefi
Elika Nour

Personen
Vorname "Hassan" (4096)
Name "Hatefi" (12)

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 Seved Hassan Hatefi

A Tutorial on Interactive Markov Chains | SpringerLink

Dependable Software Engineering: Theories, Tools, and Applications |...

Quantitative Evaluation of Systems | SpringerLink

Modelling, Reduction and Analysis of Markov Automata | SpringerLink