James Jerson Ortiz Vega – Projects — the Research Portal - University of Namur

View Scopus Profile

Belgium

h-index

Research activity per year

If you made any changes in Pure these will be visible here soon.

2 Active
6 Finished

2 results

Filter

Active
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Project: PHD
CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research

Your message has successfully been sent.

Your message was not sent due to an error.