Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5)

Shin Nakajima 0001, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu. Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). NII Shonan Meet. Rep., 2016, 2016. [doi]

Abstract

Abstract is missing.