Workshop on Model Based Design for Cyber-Physical Systems (MB4CP).

Alberto Avritzer, Daniel Sadoc Menasch, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani

Browse the full DSN paper archive.