Benutzer: Gast  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