Košík

0031787 - UIVT-O 336110 SIGLE CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František
Specification and Generation of Environment for Model Checking of Software Compnents.
Prague: Charles University Dept. of SW Engn, 2005. 10 s. Technical Report, 2005/5.
Grant CEP: GA ČR(CZ) GA102/03/0672; GA AV ČR(CZ) 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * model checking * automatic environment generation
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0132435