Artikel dengan mandat akses publik - Susanne GrafPelajari lebih lanjut
Tersedia di suatu tempat: 2
From FMTV to WATERS: Lessons learned from the first verification challenge at ECRTS
S Altmeyer, É André, S Dal Zilio, L Fejoz, MG Harbour, S Graf, ...
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), 2023
Mandat: Agence Nationale de la Recherche
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
S Altmeyer, É André, S Dal Zilio, L Fejoz, MG Harbour, S Graf, ...
Dagstuhl Artifacts Series 9 (1), 2023
Mandat: Agence Nationale de la Recherche
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer