Specification and Generation of Environment for Model Checking of Software Components

Počet záznamů: 1

1.

SYSNO	0090204
Title	Specification and Generation of Environment for Model Checking of Software Components
Author info	aut. P. Pařízek, František Plášil
Title	Specifikace a generování prostředí pro model checking softwarových komponent
Author(s)	Pařízek, P. (CZ) Plášil, František (UIVT-O)_RID
Source Title	Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	1ET400300504 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	NL
Keywords	software components * behavior protocols * model checking * automated generation of environment
Permanent Link	http://hdl.handle.net/11104/0151179

Počet záznamů: 1