DMCA

Contract-based Integration of Cyber-physical Analyses

by Ivan Ruchkin , Dionisio De Niz , Sagar Chaki , David Garlan
Venue:in Proceedings of the 14th International Conference on Embedded Software, ser. EMSOFT ’14
Citations:6 - 5 self