Detail projektu
ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols
Období řešení: 1. 10. 2001 – 31. 1. 2004
Typ projektu: grant
Kód: IST-1999-29082
Typ
grant
Řešitelé
Bouajjani Ahmed
– hlavní řešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)