Počet záznamů: 1
Specification and Generation of Environment for Model Checking of Software Components
- 1.
SYSNO 0090204 Název Specification and Generation of Environment for Model Checking of Software Components Aut.údaje aut. P. Pařízek, František Plášil Překlad názvu Specifikace a generování prostředí pro model checking softwarových komponent Tvůrce(i) Pařízek, P. (CZ)
Plášil, František (UIVT-O) RIDZdroj.dok. Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. - : Elsevier Druh dok. Článek v odborném periodiku Grant 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova software components * behavior protocols * model checking * automated generation of environment Trvalý link http://hdl.handle.net/11104/0151179
Počet záznamů: 1