Semantics-preserving cosynthesis of cyber-physical systems

Roy, Debayan, Zhang, Licong, Chang, Wanli et al. (2 more authors) (2018) Semantics-preserving cosynthesis of cyber-physical systems. Proceedings of the IEEE. pp. 171-200. ISSN 1558-2256


Copyright, Publisher and Additional Information: © 2017 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
  • Published (online): 20 December 2017
  • Published: January 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 01 Sep 2020 13:00
Last Modified: 07 Dec 2022 14:29
Published Version:
Status: Published
Refereed: Yes
Identification Number:


Share / Export