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
Responsibility: Bouajjani Ahmed