Project Details

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols

Project Period: 1. 10. 2001 - 31. 1. 2004

Project Type: grant

Code: IST-1999-29082

Agency: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme

Program:

Type
grant
Team members
Bouajjani Ahmed (UPAR7) , research leader
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Publications

2007

2004

2003

2002

Back to top