학술논문
'학술논문'
에서 검색결과 98건 | 목록
1~10
Conference
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2023 IEEE 31st International. :309-315 Sep, 2023
Academic Journal
In Robotics and Autonomous Systems May 2023 163
Conference
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :18-28 May, 2023
Conference
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) ICSA-C Software Architecture Companion (ICSA-C), 2023 IEEE 20th International Conference on. :86-90 Mar, 2023
Conference
Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, Matteo
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :80-90 May, 2022
Conference
Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021 International Symposium on. :245-251 May, 2021
Conference
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :97-110 May, 2021
Conference
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2020 IEEE International Conference on. :1907-1914 Oct, 2020
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. :55-65 May, 2020
Academic Journal
In Information and Computation December 2015 245:72-97
검색 결과 제한하기
제한된 항목
[AR] Bersani, Marcello M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어