Počet záznamů: 1
TBP: Code-Oriented Component Behavior Specification
- 1.
SYSNO 0334276 Název TBP: Code-Oriented Component Behavior Specification Překlad názvu TBP: Na kód orientovaný formalismus pro specifikaci chování komponent Tvůrce(i) Kofroň, Jan (UIVT-O)
Poch, T. (CZ)
Šerý, O. (CZ)Zdroj.dok. Proceedings of 32th IEEE/NASA Software Engineering Workshop. S. 75-83. - : IEEE Computer Society Los Alamitos, 2009 Konference SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./, Kassandra, 15.10.2008-16.10.2008 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GA201/08/0266, CZ - Česká republika 7E08004, CZ - Česká republika CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. US Klíč.slova software components * behavior specification * model-checking Trvalý link http://hdl.handle.net/11104/0179058
Počet záznamů: 1