Košík

0085639 - ÚI 2008 CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František - Kofroň, Jan
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker.
[Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker.]
Prague: Department of Software Engineering, Charles University, 2006. 17 s. Technical Report, 2006/2.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * software components * behavior protocols * Java PathFinder
Trvalý link: http://hdl.handle.net/11104/0148105