Résultats de recherche

• Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks

  Ortiz Vega, J. J. (Auteur), SCHOBBENS, P.-Y. (Promoteur), JACQUET, J.-M. (Jury), Vanhoof, W. (Jury), Raskin, J.-F. (Jury), Tripakis, S. (Jury) & Akshay, S. (Jury), 4 juil. 2023

  Student thesis: Doc types › Docteur en Sciences

  Fichier