Photo de JAMES JERSON ORTIZ VEGA

Voir le profil Scopus

JAMES JERSON ORTIZ VEGA

  • Belgique

  • 13 Citations
  • 2 h-Index
19992019

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Projets

Filtrer
Actif
Actif

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

SCHOBBENS, P., Amrani, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

Projet: Recherche

THCS: Testing Highly-configurable Systems

PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.

1/01/18 → 31/12/22

Projet: Recherche

Thesis-JRO: Formal Methods for the Verification of Distributed Timed Systems

ORTIZ VEGA, J. J. & SCHOBBENS, P.

1/09/17 → 31/08/23

Projet: Projet de thèse

CFV: Centre Fédéré en Vérification de Logiciel

SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.

1/10/99 → …

Projet: Recherche