Tous les ebooks d'Ulrich Kühne en PDF


1  résultat(s)
Télécharger le livre :  Formal Modeling and Verification of Cyber-Physical Systems
Ajouter à ma liste d'envies

Formal Modeling and Verification of Cyber-Physical Systems


Rolf Drechsler , Ulrich Kühne


This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems.This covers several...

Parution : 2015-06-05
Format(s) : PDF
Éditeur : Springer Vieweg
J'achète
52,99

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés