Comparison of Enhanced Markov Models and Discrete Event Simulation

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F14%3A43924139" target="_blank" >RIV/49777513:23520/14:43924139 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1109/DSD.2014.42" target="_blank" >http://dx.doi.org/10.1109/DSD.2014.42</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/DSD.2014.42" target="_blank" >10.1109/DSD.2014.42</a>

Result language

angličtina

Original language name

Comparison of Enhanced Markov Models and Discrete Event Simulation

Original language description

The paper presents model based approaches for evaluating and validating the tempoval and safety relevant properties of SW intensive safety-critical real-time embedded systems. Discrete time simulation and Markov process based models are combined in orderto obtain the results.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2014

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

DSD 2014

ISBN

978-1-4799-5793-4

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

591-598

Publisher name

IEEE

Place of publication

Piscataway

Event location

Verona

Event date

Aug 27, 2014

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—