TBP: Code-Oriented Component Behavior Specification

Kofroň Jan



Název
TBP: Code-Oriented Component Behavior Specification
Překlad názvu
TBP: Na kód orientovaný formalismus pro specifikaci chování komponent
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. 75-83. - : IEEE Computer Society Los Alamitos, 2009
Vyd.údaje
9 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/0179058