User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Roy, Debayan; Zhang, Licong; Chang, Wanli; Chakraborty, Samarjit 
Title:
Automated synthesis of cyber-physical systems from joint controller/architecture specifications 
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