Projekt se zabývá zkoumáním způsobu výběru metody formální specifikace a verifikace komunikačních protokolů. Cílem projektu je vytvořit obecnější metodiku přístupu k uvedené problematice.

Keywords
formální metody, verifikace, komunikační protokoly, metodika výběru

Key words in English
formal methods, verification, communication protocols, method of selection

FR0099/2001/G1

Czech

Ráb Jaroslav, Ing. - principal person responsible

Department of Information Systems
- responsible department (23.10.2001 - not assigned)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.2001)

Responsibility: Ráb Jaroslav, Ing.