Shin Nakajima – författare
Visar alla böcker från författaren Shin Nakajima. Handla med fri frakt och snabb leverans.
6 produkter
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Inbunden, 2017
1094 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Huafeng Yu, Masumi Toyoshima m. fl.
E-bok, 2017
1459 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Häftad, 2018
1094 kr
Lägg i varukorg
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Yamine Ait-Ameur, Shin Nakajima m. fl.
Inbunden, 2020
1094 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Dominique Mery, Shin Nakajima m. fl.
E-bok, 2020
1434 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Yamine Ait-Ameur, Shin Nakajima m. fl.
Häftad, 2021
1094 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
