Travelled to:1 × USA
Collaborated with:M.Bozzano A.Cimatti D.Jones G.Kimberly T.Petri R.Robinson S.Tonetta
Talks about:analysi (1) system (1) safeti (1) formal (1) design (1) wheel (1) brake (1) air (1)
Person: A. Fernandes Pires
DBLP: Pires:A=_Fernandes
Contributed to:
2015Wrote 1 papers:
- CAV-2015-BozzanoCPJKPRT #analysis #design #safety
- Formal Design and Safety Analysis of AIR6110 Wheel Brake System (MB, AC, AFP, DJ, GK, TP, RR, ST), pp. 518–535.