Počet záznamů: 1  

TBP: Code-Oriented Component Behavior Specification

  1. 1.
    0334276 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Kofroň, Jan - Poch, T. - Šerý, O.
    TBP: Code-Oriented Component Behavior Specification.
    [TBP: Na kód orientovaný formalismus pro specifikaci chování komponent.]
    Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 75-83. ISBN 978-0-7695-3617-0.
    [SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
    Grant ostatní: GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: software components * behavior specification * model-checking
    Kód oboru RIV: JC - Počítačový hardware a software

    Trvalý link: http://hdl.handle.net/11104/0179058
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.