Title | Workshop on Model Based Design for Cyber-Physical Systems (MB4CP) |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | A Avritzer, DS Menasche, K Trivedi, L Happe, and SS Sarvestani |
Conference Name | Proceedings of the International Conference on Dependable Systems and Networks |
Date Published | 09/2015 |
Abstract | This paper provides a summary of the First International Workshop on Model Based Design for Cyber- Physical Systems (MB4CP 2015) in conjunction with DSN 2015 conference in Rio de Janeiro, Brazil. |
DOI | 10.1109/DSN.2015.67 |