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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shin Nakajima 0001' in GoogleThis author has not been identified. Look up 'Jean-Pierre Talpin' in GoogleThis author has not been identified. Look up 'Masumi Toyoshima' in GoogleThis author has not been identified. Look up 'Huafeng Yu' in Google

runs on WebDSL