학술논문
'학술논문'
에서 검색결과 106건 | 목록
1~10
Conference
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2020 IEEE/ACM 8th International Conference on. :66-76 May, 2020
Academic Journal
G. Torromino; V. Loffredo; D. Cavezza; G. Sonsini; F. Esposito; A. H. Crevenna; M. Gioffrè; M. De Risi; A. Treves; M. Griguoli; E. De Leonibus
Nature Communications, Vol 13, Iss 1, Pp 1-14 (2022)
Conference
2014 IEEE 25th International Symposium on Software Reliability Engineering Software Reliability Engineering (ISSRE), 2014 IEEE 25th International Symposium on. :267-276 Nov, 2014
Academic Journal
Torromino, G.; Loffredo, V.; Cavezza, D.; Sonsini, G.; Esposito, F.; Crevenna, A. H.; Gioffrè, M.; De Risi, M.; Treves, A.; Griguoli, M.; De Leonibus, E.
Nature Communications. 13(1)
Academic Journal
Henricus T. S. Boschker; Perran L. M. Cook; Lubos Polerecky; Raghavendran Thiruvallur Eachambadi; Helena Lozano; Silvia Hidalgo-Martinez; Dmitry Khalenkow; Valentina Spampinato; Nathalie Claes; Paromita Kundu; Da Wang; Sara Bals; Karina K. Sand; Francesca Cavezza; Tom Hauffman; Jesper Tataru Bjerg; Andre G. Skirtach; Kamila Kochan; Merrilyn McKee; Bayden Wood; Diana Bedolla; Alessandra Gianoncelli; Nicole M. J. Geerlings; Nani Van Gerven; Han Remaut; Jeanine S. Geelhoed; Ruben Millan-Solsona; Laura Fumagalli; Lars Peter Nielsen; Alexis Franquet; Jean V. Manca; Gabriel Gomila; Filip J. R. Meysman
Nature Communications, Vol 12, Iss 1, Pp 1-12 (2021)
Academic Journal
Formal Aspects of Computing: Applicable Formal Methods. 33(1):27-63
Academic Journal
Nutman, A.; Cohen-Percia, S.; Daitch, V.; Babich, T.; Andini, R.; Cuccurullo, S.; Cristinziano, A.; Cavezza, G.; Bertolino, L.; Giuffrè, G.; Giurazza, R.; Mallardo, E.; Zampino, R.; Lellouche, J.; Schwartz, D.; Elmalech, N.; Ben Dalak, M.A.; Temkin, E.; Paul, M.; Geffen, Y.; Yahav, D.; Eliakim-Raz, N.; Durante-Mangoni, E.; Iossa, D.; Bernardo, M.; Daikos, G.L.; Skiada, A.; Pantazatou, A.; Antoniadou, A.; Mouton, J.W.; Carmeli, Y.
In Clinical Microbiology and Infection June 2019 25(6):711-716
검색 결과 제한하기
제한된 항목
[검색어] Cavezza, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어