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

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

Published in: DSN (2015)

Keyphrases

data processing