Edoardo Nicolodi

According to our database, Edoardo Nicolodi authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.

Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022