Detail projektu

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols

Období řešení: 1.10.2001 — 31.1.2004

Zdroje financování

Označení

IST-1999-29082

Originální jazyk

angličtina

Řešitelé

Bouajjani Ahmed - hlavní řešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. - spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel

Útvary

Ústav inteligentních systémů
- odpovědné pracoviště (13.3.2002 - nezadáno)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
- interní (13.3.2002 - 31.1.2004)
Vysoká škola báňská - Technická univerzita Ostrava
- spolupříjemce (13.3.2002 - 31.1.2004)

Odkaz

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

Odpovědnost: Bouajjani Ahmed