Publications

CRST-FMA09

Summary

A. Cimatti, M. Roveri, A. Susi and S. Tonetta (2010) Formalization and Validation of Safety-Critical Requirements. CoRR, abs/1003.1741, 2009 Workshop on Formal Methods for Aerospace.

Bibtex entry

@ARTICLE { CRST-FMA09,
    AUTHOR = { A. Cimatti and M. Roveri and A. Susi and S. Tonetta },
    TITLE = { Formalization and Validation of Safety-Critical Requirements },
    JOURNAL = { CoRR },
    VOLUME = { abs/1003.1741, 2009 Workshop on Formal Methods for Aerospace },
    YEAR = { 2010 },
}