Benutzer: Gast  Login
Titel:

Automated synthesis of cyber-physical systems from joint controller/architecture specifications

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Roy, Debayan; Zhang, Licong; Chang, Wanli; Chakraborty, Samarjit
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