Shin Nakajima profile picture

Shin Nakajima

Is this your author profile? Create an account to customize it!

Stand Alone

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
! :
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings