Shin Nakajima

• Cyber-Physical System Design from an Architecture Analysis Viewpoint
• Cyber-Physical System Design from an Architecture Analysis Viewpoint
• Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems