Publications

cav15a

Summary

M. Bozzano, A. Cimatti, A. Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson and S. Tonetta (2015) Formal Design and Safety Analysis of AIR6110 Wheel Brake System. In Proceedings of CAV 2015, pages 518-535.

BibTeX Entry

@INPROCEEDINGS { CAV15a,
    AUTHOR = { M. Bozzano and A. Cimatti and A. Fernandes Pires and D. Jones and G. Kimberly and T. Petri and R. Robinson and S. Tonetta },
    TITLE = { Formal Design and Safety Analysis of AIR6110 Wheel Brake System },
    BOOKTITLE = { Proceedings of CAV 2015 },
    PAGES = { 518-535 },
    YEAR = { 2015 },
}