DCCL: Verification of Component Systems with Ensembles

Základní údaje

Originální název DCCL: Verification of Component Systems with Ensembles
Autoři

Další údaje

Citace 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, 10 s. ISBN 978-1-4503-2122-8. doi:10.1145/2465449.2465453.
Originální jazyk angličtina
Obor Informatika
WWW
Druh Článek ve sborníku
Klíčová slova adaptation; component-based development; ensemble; formal verification; specification language

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info