Livia Lestingi
发表
M. Bersani,
Livia Lestingi,
Cristian Sbrolli,
2022,
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).
M. Bersani,
M. Rossi,
M. Askarpour,
2021,
IEEE Access.
Marcello M. Bersani,
Mehrnoosh Askarpour,
Matteo Rossi,
2020,
SEFM.
Federico Vicentini,
Matteo Rossi,
Mehrnoosh Askarpour,
2020,
2020 IEEE International Conference on Human-Machine Systems (ICHMS).
M. Bersani,
Livia Lestingi,
Matteo Rossi,
2023,
Robotics Auton. Syst..
Marcello M. Bersani,
Livia Lestingi,
Matteo Rossi,
2020,
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
M. Bersani,
R. Mirandola,
Livia Lestingi,
2023,
FME Workshop on Formal Methods in Software Engineering.