0334276 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
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 - others:GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179058
