Košík

0090750 - ÚI 2008 CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František
Heuristic Reduction of Parallelism in Component Environment.
[Heuristická redukce paralelismu v prostředí komponenty.]
Prague: Department of Software Engineering, Charles University, 2007. 17 s. Technical Report, 2007/2.
Grant CEP: GA ČR GA201/06/0770
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * model checking * concurrency errors * Java PathFinder * static analysis
Trvalý link: http://hdl.handle.net/11104/0151534