Contract-based integration of cyber-physical analyses.

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan

Browse the full EMSOFT paper archive.