A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Proceedings of the IEEE - United States
doi 10.1109/jproc.2015.2453253
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)