Košík

0085632 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Software Component Verification: On Translating Behavior Protocols to Promela.
[Ověřování softwarových komponent: O překladu Behavior Protocols do Promely.]
Prague: Department of Software Engineering, Charles University, 2006. 10 s. Technical Report, 2006/11.
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 * PROMELA * behavior protocols
Trvalý link: http://hdl.handle.net/11104/0148100