Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

doi 10.1109/formalise.2015.14
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE