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é

Ú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

Odpovědnost: Bouajjani Ahmed