Project detail

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols

Duration: 1.10.2001 — 31.1.2004

Funding resources

Mark

IST-1999-29082

Default language

English

People responsible

Bouajjani Ahmed - principal person responsible
Matoušek Petr, doc. Ing., Ph.D., M.A. - fellow researcher
Vojnar Tomáš, prof. Ing., Ph.D. - fellow researcher

Units

Department of Intelligent Systems
- responsible department (13.3.2002 - not assigned)
Automated Analysis and Verification Research Group - VeriFIT
- internal (13.3.2002 - 31.1.2004)

Link

http://verif.liafa.jussieu.fr/~haberm/ADVANCE/main.html

Responsibility: Bouajjani Ahmed