Assume-Guarantee Verification of Software Components in SOFA 2 Framework

Počet záznamů: 1

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)_RID
Zdroj.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