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

Útvary

Odkaz

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

Odpovědnost: Bouajjani Ahmed