Publications

tosem2011

Summary

Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Validation of Requirements for Hybrid Systems: a Formal Approach. ACM Trans. Softw. Eng. Methodol..

Bibtex entry

@ARTICLE { tosem2011,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta },
    TITLE = { {Validation of Requirements for Hybrid Systems: a Formal Approach} },
    JOURNAL = { ACM Trans. Softw. Eng. Methodol. },
    YEAR = { 2011 },
    OPTKEY = { },
    OPTVOLUME = { },
    OPTNUMBER = { },
    OPTPAGES = { },
    OPTMONTH = { },
    NOTE = { To appear },
    OPTANNOTE = { },
}