Článek v časopise

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. New York: Elsevier Science, 2018, roč. 2018, č. 143, s. 140-158. ISSN 0164-1212.
Jazyk publikace:angličtina
Název publikace:Efficient Synthesis of Robust Models for Stochastic Systems
Název (cs):Efektivní syntéza robustních modelů pro stochastické systémy
Strany:140-158
Místo vydání:US
Rok:2018
Časopis:Journal of Systems and Software, roč. 2018, č. 143, New York, US
ISSN:0164-1212
DOI:10.1016/j.jss.2018.05.013
Klíčová slova

Software performance and reliability engineering, 
Probabilistic model synthesis, 
Multi-objective optimisation, 
Robust design
Anotace
Článek popisuje metodu dovolující efektivní syntézu robustních modelů pro stochastické systémy. Tyto modely jsou reprezentovány parametrickými Markovovými řetezi pracujícími ve spojitém čase.
BibTeX:
@ARTICLE{
   author = {Radu Calinescu and Milan {\v{C}}e{\v{s}}ka and
	Simos Gerasimou and Marta Kwiatkowska and Nicola
	Paoletti},
   title = {Efficient Synthesis of Robust Models for
	Stochastic Systems},
   pages = {140--158},
   journal = {Journal of Systems and Software},
   volume = 2018,
 number = 143,
   year = 2018,
   ISSN = {0164-1212},
   doi = {10.1016/j.jss.2018.05.013},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11728}
}

Vaše IPv4 adresa: 3.226.251.205