Semantics-preserving cosynthesis of cyber-physical systems

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

Metadata

Item Type: Article
Authors/Creators:
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.
Dates:
  • 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: 11 Apr 2025 23:21
Published Version: https://doi.org/10.1109/JPROC.2017.2779456
Status: Published
Refereed: Yes
Identification Number: 10.1109/JPROC.2017.2779456
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)