Košík

  1. 1.
    0090204 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
    Pařízek, P. - Plášil, František
    Specification and Generation of Environment for Model Checking of Software Components.
    [Specifikace a generování prostředí pro model checking softwarových komponent.]
    Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
    Grant CEP: GA AV ČR 1ET400300504
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: software components * behavior protocols * model checking * automated generation of environment
    Kód oboru RIV: JC - Počítačový hardware a software
    Trvalý link: http://hdl.handle.net/11104/0151179