R. Robinson

According to our database, R. Robinson authored at least 2 papers between 2006 and 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

2006

A Rule-Based Expert System for Automatic Error Interpretation Within Ultrasonic Flaw Model Simulators.

R. Robinson, D. McNab, A. McNab

IEEE Trans. Syst. Man Cybern. Part A, 2006