Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cristoforetti, Marco
4  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Towards Automatic Digitalization of Railway Engineering Sch..:

, In: AIxIA 2023 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,
Stefenon, Stefano Frizzo ; Cristoforetti, Marco ; Cimatti, Alessandro - p. 453-466 , 2023
Link: https://doi.org/10.1007/..
 
?
2

RobDT: AI-enhanced Digital Twin for Space Exploration Robot..:

, In: Studies in Computational Intelligence; The Use of Artificial Intelligence for Space Applications,
Bozzano, Marco ; Bussola, Riccardo ; Cristoforetti, Marco... - p. 183-198 , 2023
Link: https://doi.org/10.1007/..
 
?
3

EVA: a Tool for the Compositional Verification of AUTOSAR M..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Cimatti, Alessandro ; Cristoforetti, Luca ; Griggio, Alberto... - p. 3-10 , 2023
Link: https://doi.org/10.1007/..
 
?
4

A comprehensive framework for the analysis of automotive sy..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,
Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca... - p. 379-389 , 2022
Link: https://dl.acm.org/doi/1..
 
1-4