Type de projet
Résultats 1-2 de 2
-
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
Dagstuhl Artifacts Series, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 03-07-2023, 9; 1Compte-rendu et recension critique d'ouvragetexte intégral -
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Vienne, 11-07-2023, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023Communication dans un congrès avec actestexte intégral