Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Roy, Debayan; Zhang, Licong; Chang, Wanli; Chakraborty, Samarjit
- Titel:
- Automated synthesis of cyber-physical systems from joint controller/architecture specifications
- Kongress- / Buchtitel:
- Forum on Specification and Design Languages (FDL)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 01.09.2016
- Jahr:
- 2016
- Print-ISBN:
- 979-10-92279-17-7
- Reviewed:
- ja
- Volltext / DOI:
- doi:10.1109/fdl.2016.7880389
BibTeX