Košík

0085633 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Extending Behavior Protocols With Data and Multisynchronization.
[Rozšíření Behavior Protocols o data a multisynchronizaci.]
Prague: Department of Software Engineering, Charles University, 2006. 19 s. Technical Report, 2006/10.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior protocols * formal verification * software components
Trvalý link: http://hdl.handle.net/11104/0148101