Počet záznamů: 1  

Specification and Generation of Environment for Model Checking of Software Components

  1. 1.
    SYSNO0090204
    NázevSpecification and Generation of Environment for Model Checking of Software Components
    Aut.údajeaut. P. Pařízek, František Plášil
    Překlad názvuSpecifikace a generování prostředí pro model checking softwarových komponent
    Tvůrce(i) Pařízek, P. (CZ)
    Plášil, František (UIVT-O) RID
    Zdroj.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
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova software components * behavior protocols * model checking * automated generation of environment
    Trvalý linkhttp://hdl.handle.net/11104/0151179
     
Počet záznamů: 1