Zoeken

U zocht naar: Auteur Nakajima, Shin Filter Auteur: Nakajima, Shin weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

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