Počet záznamů: 1
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
- 1.
SYSNO 0334355 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 Tvůrce(i) Parízek, P. (CZ)
Plášil, František (UIVT-O) RIDZdroj.dok. IET Software. Roč. 4, č. 3 (2010), s. 210-221 Druh dok. Článek v odborném periodiku Grant 7E08004, CZ - Česká republika 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. GB Klíč.slova components * software verification * model checking Trvalý link http://hdl.handle.net/11104/0179113
Počet záznamů: 1