Výpis publikací

2013

1. DCCL: Verification of Component Systems with Ensembles

   BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ a Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013, s. 43-52. ISBN 978-1-4503-2122-8. Dostupné z: https://dx.doi.org/10.1145/2465449.2465453.

   Podrobněji: https://is.muni.cz/publication/1131921/cs