Stefano Brait

According to our database, Stefano Brait authored at least 1 paper in 2005.

Collaborative distances:

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

2005

On the use of a high-level fault model to analyze logical consequence of properties.

Stefano Brait, Franco Fummi, Graziano Pravadelli

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005