Projects per year
Search results
-
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