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.

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

Klíčová slova anglicky
formal methods, verification, communication protocols, method of selection

FR0099/2001/G1

čeština

Ráb Jaroslav, Ing. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Fakulta informačních technologií
- spolupříjemce (1.1.2001 - 31.12.2001)

Odpovědnost: Ráb Jaroslav, Ing.