Assume-Guarantee Verification of Software Components in SOFA 2 Framework

Parízek P



Název
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
Překlad názvu
Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee
Autor
lupa Parízek P.
Spoluautoři
lupa Plášil František UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa IET Software. Roč. 4, č. 3 (2010), s. 210-221
Vyd.údaje
12 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
components * software verification * model checking
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0179113