Shin Nakajima

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