Towards Verification of Ensemble Based Component Systems

Základní údaje

Originální název Towards Verification of Ensemble Based Component Systems
Autoři
Jiří Barnat
Nikola Beneš
Tomáš Bureš
Ivana Černá
Tomáš Keznikl
František Plášil

Další údaje

Citace BARNAT, Jiří, Nikola BENEŠ, Tomáš BUREŠ, Ivana ČERNÁ, Tomáš KEZNIKL a František PLÁŠIL. Towards Verification of Ensemble Based Component Systems. In José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. Formal Aspects of Component Software. Neuveden: Springer International Publishing, 2014. s. 41-60, 20 s. ISBN 978-3-319-07601-0. doi:10.1007/978-3-319-07602-7_5.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova component-based systems; component ensembles; formal verification

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

Další info