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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.