2 Result(s)
within
Davide Basile
Software Engineering
Systems and Data Security
-
Chapter and Conference Paper
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results
The research project SISTER aims to improve the safety and autonomy of light rail trains by develo** and integrating novel technologies for remote sensing and object detection, safe positioning, and broadban...
-
Chapter and Conference Paper
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
Highly automated transport systems play an important role in the transformation towards a digital society, and planning the optimal routes for a set of fleet vehicles has been proved useful for improving the d...
