Počet záznamů: 1
TBP: Code-Oriented Component Behavior Specification
- 1.0334276 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Poch, T. - Šerý, O.
TBP: Code-Oriented Component Behavior Specification.
[TBP: Na kód orientovaný formalismus pro specifikaci chování komponent.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 75-83. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
Grant ostatní: GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179058
Počet záznamů: 1