Benny Hockner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler. Design space exploration for cyber physical system design using constraint solving. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-4, IEEE, 2013. [doi]
@inproceedings{HocknerHKSV13,
title = {Design space exploration for cyber physical system design using constraint solving},
author = {Benny Hockner and Petra Hofstedt and Sascha Kaltschmidt and Peter Sauer and Thilo Vörtler},
year = {2013},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646625},
researchr = {https://researchr.org/publication/HocknerHKSV13},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013},
publisher = {IEEE},
}