R. Robinson

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Safety Analysis

Modeling Language

Top Venues

Publications

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) (2015)
R. Robinson, D. McNab, A. McNab
A Rule-Based Expert System for Automatic Error Interpretation Within Ultrasonic Flaw Model Simulators. IEEE Trans. Syst. Man Cybern. Part A 36 (6) (2006)