Tietoaineistot
- 3 tulosta
Hakutulokset
-
WOGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 30 syysk. 2024
DOI - pysyväislinkki: 10.5281/zenodo.13860526, https://zenodo.org/records/13860526
Tietoaineisto
-
OGAN Experimental Results
Peltomäki, J. (Luoja) & Porres, I. (Luoja), Zenodo, 27 syysk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8382845, https://zenodo.org/record/8382845
Tietoaineisto
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Luoja), Arcaini, P. (Luoja), Baptista, W. (Luoja), Ernst, G. (Luoja), Fainekos, G. (Luoja), Formica, F. (Luoja), Gon, S. (Luoja), Khandait, T. (Luoja), Kundu, A. (Luoja), Pedrielli, G. (Luoja), Peltomäki, J. (Luoja), Porres, I. (Luoja), Ray, R. (Luoja), Waga, M. (Luoja) & Zhang, Z. (Luoja), Zenodo, 11 kesäk. 2023
DOI - pysyväislinkki: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Tietoaineisto