Making Components Fit: SPINing

Kofroň Jan



Název
Making Components Fit: SPINing
Překlad názvu
Komponenty ve formě: SPINing
Autor
lupa Kofroň Jan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Poch T.
lupa Šerý O.
Zdroj.dok.
lupa Proceedings of 32th IEEE/NASA Software Engineering Workshop. S. 65-74. - : IEEE Computer Society Los Alamitos, 2009
Vyd.údaje
10 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
software components * behavior specification * model-checking
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0179054