Fakulta informačních technologií VUT v Brně

Detail publikace

Designing Robust Software Systems through Parametric Markov Chain Synthesis

CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, s. 131-140. ISBN 978-1-5090-5729-0.
Název česky
Návrh Robustních Systémů Pomocí Parametrických Markovovských Procesů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Calinescu Radu (UYORK)
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Gerasimou Simos (UYORK)
Kwiatkowska Marta (UOx)
Paoletti Nicola (UOx)
Abstrakt
Článek se zabývá metodami pro návrh robustních systémů pomocí syntézy parametrických Markovovských procesů.
Rok
2017
Strany
131-140
Sborník
Proceedings of 14th IEEE International Conference On Software Architecture
Konference
IEEE International Conference On Software Architecture, Gothenburg, SE
ISBN
978-1-5090-5729-0
Vydavatel
IEEE Computer Society
Místo
New Jersey, US
BibTeX
@INPROCEEDINGS{FITPUB11367,
   author = "Radu Calinescu and Milan \v{C}e\v{s}ka and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti",
   title = "Designing Robust Software Systems through Parametric Markov Chain Synthesis",
   pages = "131--140",
   booktitle = "Proceedings of 14th IEEE International Conference On Software Architecture",
   year = 2017,
   location = "New Jersey, US",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5090-5729-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11367"
}
Nahoru