Detail projektu
Formální popis a verifikace protokolu LDAP se zaměřením na optimalizaci replikace distribuovaných dat
Období řešení: 1. 1. 1998 – 31. 12. 1999
Typ projektu: grant
Kód: FEI-98-?
Název anglicky
Formal specification and verification of the LDAP protocol and optimalization of data replication
Typ
grant
Klíčová slova
LDAP, replikace, formální popis, verifikace, optimalizace, adresářové služby
Řešitelé
Matoušek Petr, doc. Ing., Ph.D., M.A.
(UIFS)
– hlavní řešitel