Publications

imbsa2017

Summary

B. Bittner, M. Bozzano and A. Cimatti (2017) Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. In Proc. IMBSA 2017, Springer.

BibTeX Entry

@INPROCEEDINGS { IMBSA-2017,
    AUTHOR = { B. Bittner and M. Bozzano and A. Cimatti },
    TITLE = { Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study },
    BOOKTITLE = { Proc. IMBSA 2017 },
    SERIES = { LNCS },
    VOLUME = { 10437 },
    PAGES = { },
    PUBLISHER = { Springer },
    YEAR = { 2017 },
}