Shin NakajimaBooksImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsCyber-Physical System Design from an Architecture Analysis ViewpointCyber-Physical System Design from an Architecture Analysis ViewpointAuthor data: Open Library
