All ebooks by Shin Nakajima in PDF and EPUB
Readzis program recommandation

All ebooks by Shin Nakajima in PDF and EPUB


2  Book(s)
Download this eBook Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Add to my wish list

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

Yamine Ait-Ameur , Dominique Méry , Shin Nakajima

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in...

Publication date: 2020-07-27
Format: PDF, ePub
Publisher: Springer
Add to basket
£88,00
Download this eBook Cyber-Physical System Design from an Architecture Analysis Viewpoint
Add to my wish list

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Shin Nakajima , Jean-Pierre Talpin , Masumi Toyoshima , Huafeng Yu

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model...

Publication date: 2017-05-10
Format: PDF, ePub
Publisher: Springer
Add to basket
£89,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved