Of the same journal
The VALU3S ECSEL project: Verification and validation of automated systems safety and security (2021)
Article in International Scientific Journal
Agirre, JA; Etxeberria, L; Barbosa, R; Basagiannis, S; Giantamidis, G; Bauer, T; Ferrari, E; Esnaola, ML; Orani, V; Öberg, J; Pereira, D; Proença, J; Schlick, R; Smrcka, A; Tiberti, W; Tonetta, S; Bozzano, M; Yazici, A; Sangchoolie, B
The ANTAREX domain specific language for high performance computing (2019)
Article in International Scientific Journal
Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; João Bispo; Cmar, R; João M. P. Cardoso; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E...(mais 2 authors)
See all (8)