Cyber-Physical System Design from an Architecture Analysis Viewpoint Mehr Bücher von Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima & Huafeng Yu

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

2020