Hassan Hatefi - Veröffentlichungen allgemein

(1 - 5 von 6

)

Modelling, reduction and analysis of Markov automata - CORE

core.ac.uk

Modelling, reduction and analysis of Markov automata. By Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer.

A Tutorial on Interactive Markov Chains | SpringerLink

link.springer.com

Authors; Authors and affiliations. Florian Arnold; Daniel Gebler; Dennis Guck; Hassan Hatefi. Florian Arnold. 1. Daniel Gebler. 2. Dennis Guck. 1. Hassan Hatefi .

17th European Joint Conferences on Theory and Practice of ...www.ylies.fr › uploads › › ETAPS14-booklet-participants

www.ylies.fr

— Vahid Hashemi, Hassan Hatefi and Jan Krcal. Probabilistic Bisimulations for PCTL. Model Checking of Interval MDPs.

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 ...

System-Level Assertion-Based Performance Verification for ...link.springer.com › chapter

link.springer.com

von H Hatefi-Ardakani · · Zitiert von: 1 — System-Level Assertion-Based Performance Verification for Embedded Systems. Hassan Hatefi-Ardakani,; Amir Masoud Gharehbaghi &; Shaahin Hessabi.

Verwandte Suchanfragen zu Hassan Hatefi

Amir Masoud
Ralf Wimmer
Bettina Braitling

Bernd Becker
Mark Timmer
Dennis Guck

Joost-Pieter Katoen
Jerzy Filar

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

Modelling, reduction and analysis of Markov automata - CORE

A Tutorial on Interactive Markov Chains | SpringerLink

17th European Joint Conferences on Theory and Practice of ...www.ylies.fr › uploads › › ETAPS14-booklet-participants

Modelling, Reduction and Analysis of Markov Automata | SpringerLink

System-Level Assertion-Based Performance Verification for ...link.springer.com › chapter