Number of the records: 1  

Specification and Generation of Environment for Model Checking of Software Components

    1.
    SYSNO0090204
    TitleSpecification and Generation of Environment for Model Checking of Software Components
    Author infoaut. P. Pařízek, František Plášil
    TitleSpecifikace 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)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryNL
    Keywords software components * behavior protocols * model checking * automated generation of environment
    Permanent Linkhttp://hdl.handle.net/11104/0151179
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all