Number of the records: 1  

TBP: Code-Oriented Component Behavior Specification

    1.
    SYSNO0334276
    TitleTBP: Code-Oriented Component Behavior Specification
    TitleTBP: Na kód orientovaný formalismus pro specifikaci chování komponent
    Author(s) Kofroň, Jan (UIVT-O)
    Poch, T. (CZ)
    Šerý, O. (CZ)
    Source Title Proceedings of 32th IEEE/NASA Software Engineering Workshop. S. 75-83. - : IEEE Computer Society Los Alamitos, 2009
    Conference SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./, Kassandra, 15.10.2008-16.10.2008
    Document TypeKonferenční příspěvek (zahraniční konf.)
    Grant GA201/08/0266, CZ - Czech Republic
    7E08004, CZ - Czech Republic
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryUS
    Keywords software components * behavior specification * model-checking
    Permanent Linkhttp://hdl.handle.net/11104/0179058
     
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