0317133 - ÚI 2009 RIV DE eng C - Conference Paper (international conference)
Plšek, A. - Adámek, JiříCarmen: Software Component Model Checker.
[Carmen: Model checker softwarových komponent.]
Quality of Software Architectures. Models and Architectures. Berlin: Springer, 2008 - (Becker, S.; Plášil, F.; Reussner, R.), s. 71-85. Lecture Notes in Computer Science, 5281. ISBN 978-3-540-87878-0.
[QoSA 2008. International Conference on the Quality of Software Architectures /4./. Karlsruhe (DE), 14.10.2008-17.10.2008]
Grant - others:GA ČR(CZ) GA201/08/0266; ANR/RNTL(FR) Flex-eWare; Belgian Science Policy(BE) Interuniversity Attraction Poles Programme
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/0166859