Počet záznamů: 1
Making Components Fit: SPINing
- 1.
SYSNO 0334272 Název Making Components Fit: SPINing Překlad názvu Komponenty ve formě: SPINing Tvůrce(i) Kofroň, Jan (UIVT-O)
Poch, T. (CZ)
Šerý, O. (CZ)Zdroj.dok. Proceedings of 32th IEEE/NASA Software Engineering Workshop. S. 65-74. - : 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/06/0770, CZ - Česká republika GD201/05/H014 GA ČR - Grantová agentura ČR, 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/0179054
Počet záznamů: 1