Publications

safecomp20

Summary

M. Bozzano, P. Munk, M. Schweizer, S. Tonetta and V. Vozarova (2020) Model-Based Safety Analysis of Mode Transitions. In Proceedings of SAFECOMP 2020, pages 99-114.

BibTeX Entry

@INPROCEEDINGS { safecomp20,
    AUTHOR = { M. Bozzano and P. Munk and M. Schweizer and S. Tonetta and V. Vozarova },
    TITLE = { Model-Based Safety Analysis of Mode Transitions },
    BOOKTITLE = { Proceedings of SAFECOMP 2020 },
    SERIES = { LNCS },
    NUMBER = { 12234 },
    PAGES = { 99-114 },
    YEAR = { 2020 },
}