Login
- Title:
Automated synthesis of cyber-physical systems from joint controller/architecture specifications
- Document type:
- Konferenzbeitrag
- Author(s):
- Roy, Debayan; Zhang, Licong; Chang, Wanli; Chakraborty, Samarjit
- Book / Congress title:
- Forum on Specification and Design Languages (FDL)
- Publisher:
- IEEE
- Date of publication:
- 01.09.2016
- Year:
- 2016
- Print-ISBN:
- 979-10-92279-17-7
- Reviewed:
- ja
- Fulltext / DOI:
- doi:10.1109/fdl.2016.7880389
BibTeX