Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani. Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015. pages 565-566, IEEE, 2015. [doi]
@inproceedings{AvritzerMTHS15,
title = {Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)},
author = {Alberto Avritzer and Daniel Sadoc Menasché and Kishor S. Trivedi and Lucia Happe and Sahra Sedigh Sarvestani},
year = {2015},
doi = {10.1109/DSN.2015.67},
url = {http://dx.doi.org/10.1109/DSN.2015.67},
researchr = {https://researchr.org/publication/AvritzerMTHS15},
cites = {0},
citedby = {0},
pages = {565-566},
booktitle = {45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015},
publisher = {IEEE},
isbn = {978-1-4799-8629-3},
}