Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Authors: Drechsler, Rolf; Kühne, Ulrich
Get this book Contact Email: girro@qq.com
Publisher: Springer Fachmedien Wiesbaden(2015/6/5)
Language: English
ISBN-10: 3658099933
ISBN-13: 9783658099930
e-ISBN-10: 3658099941
e-ISBN-13: 9783658099947
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
未经允许不得转载:电子书百科大全 » Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
相关推荐
PHP Objects, Patterns, and Practice
Code Breaking in the Pacific
Micromechanics of Ceramic-Matrix Composites at Elevated Temperatures
Introduction to Pattern-Driven Software Problem Solving
舌尖上的历史
Advanced Computing, Networking and Informatics- Volume 2: Wireless Networks and Security Proceedings of the Second International Conference on Advanced Computing, Networking and Informatics (ICACNI-2014)
Computational Methods for Process Simulation
Reflektierender Faraday-Effekt-Stromsensor
电子书百科大全
评论前必须登录!
立即登录 注册