Ebooks d'Ulrich Kühne en PDF

1 Livre(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...

Editeur : Springer Vieweg
Parution : 2015-06-05

PDF

52,74 €