User: Guest  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