Publications

ress14

Summary

M. Bozzano, A. Cimatti, J.-P. Katoen, P. Katsaros, K. Mokos, V.Y. Nguyen, T. Noll, B. Postma and M. Roveri (2014) Spacecraft Early Design Validation using Formal Methods. In Reliability Engineering & System Safety, 132:20-35.

BibTeX Entry

@ARTICLE { RESS14,
    AUTHOR = { M. Bozzano and A. Cimatti and J.-P. Katoen and P. Katsaros and K. Mokos and V.Y. Nguyen and T. Noll and B. Postma and M. Roveri },
    TITLE = { Spacecraft Early Design Validation using Formal Methods },
    JOURNAL = { Reliability Engineering & System Safety },
    VOLUME = { 132 },
    PAGES = { 20-35 },
    YEAR = { 2014 },
}