Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings Ait-Ameur, Yamine Heftet / 2021 / Engelsk
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings Ait-Ameur, Yamine Innbundet / 2020 / Engelsk
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings Nakajima, Shin Heftet / 2018 / Engelsk
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings Nakajima, Shin Innbundet / 2017 / Engelsk
