Search

You searched for: Auteur Nakajima, Shin Remove constraint Auteur: Nakajima, Shin
1 - 2 of 2
Number of results to display per page

Search Results

1. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
thumbnail
Full text!
Author:
Ait-Ameur; Méry, Dominique; Nakajima, Shin
Publisher:
Springer Singapore 2021
Format:
e-book
2. Cyber-Physical System Design from an Architecture Analysis Viewpoint
thumbnail
Full text!
Author:
Nakajima, Shin; Talpin, Jean-Pierre; Toyoshima, Masumi; Yu, Huafeng
Publisher:
Singapore Springer Singapore 2017
Format:
e-book