0317215 - ÚI 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Parízek, P. - Plášil, FrantišekModeling of Component Environment in Presence of Callbacks and Autonomous Activities.
[Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit.]
Objects, Components, Models and Patterns. Berlin: Springer-Verlag, 2008 - (Paige, R.; Meyer, B.), s. 2-21. Lecture Notes in Business Information Processing, 11. ISBN 978-3-540-69823-4.
[TOOLS EUROPE 2008. International Conference on Objects, Models, Components, Patterns /46./. Zurich (CH), 30.06.2008-04.07.2008]
Grant ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: assume-guarantee reasoning * behavior protocols * modeling of environment behavior * callbacks * autonomous activities
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166917
