Contract-based integration of cyber-physical analyses. (2014)

by I Ruchkin, D D Niz, D Garlan, S Chaki
Venue:In Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14.