T. Petri

According to our database, T. Petri authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Formal Design and Safety Analysis of AIR6110 Wheel Brake System.

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta

Proceedings of the Computer Aided Verification - 27th International Conference, 2015