Project Details
ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols
Project Period: 1. 10. 2001 – 31. 1. 2004
Project Type: grant
Code: IST-1999-29082
Type
grant
Team members
Bouajjani Ahmed
– research leader
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)