Projets

Projets par an

1999 2014

• 1 Actif
• 3 Terminé

Projets par an

Résultats de recherche

• VEREV: Vérification de logiciel récursif, évolutif, et temps-réel

  SCHOBBENS, P. & KANG, E.

  1/02/11 → 31/01/12

  Projet: Recherche

• VLPL: Vérification de Lignes de Produits Logiciels

  HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.

  1/01/11 → 1/01/13

  Projet: Recherche

• TPA: Théorie et Pratique des Automates et des Logiques

  SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.

  1/01/11 → 31/12/14

  Projet: Recherche