Publications

CCMMMMPRST-ASE09

Summary

R. Cavada, A. Cimatti, A. Mariotti, C. Mattarei, A. Micheli, S. Mover, M. Pensallorto, M. Roveri, A. Susi and S. Tonetta (2009) EuRailCheck: Tool Support for Requirements Validation. In ASE 2009..

Bibtex entry

@INPROCEEDINGS { CCMMMMPRST-ASE09,
    AUTHOR = { R. Cavada and A. Cimatti and A. Mariotti and C. Mattarei and A. Micheli and S. Mover and M. Pensallorto and M. Roveri and A. Susi and S. Tonetta },
    TITLE = { EuRailCheck: Tool Support for Requirements Validation },
    BOOKTITLE = { ASE 2009 },
    YEAR = { 2009 },
    NOTE = { To appear },
}