booktheque

Formal Modeling and Verification of Cyber-Physical Systems

Rolf Drechsler, Ulrich Kühne · 2015

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2015
שפה
English
הוצאה
Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
מהדורות
3
ISBN
9783658099947

מקור הנתונים: Wikidata

עוד של Rolf Drechsler

Towards One-Pass Synthesis
Rolf Drechsler · 2002
Formal Verification of Circuits
Rolf Drechsler · 2000
Binary Decision Diagrams
Rolf Drechsler · 1998
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Advanced Boolean Techniques
Rolf Drechsler · 2023
Formal System Verification
Rolf Drechsler · 2017
Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Advanced Formal Verification
Rolf Drechsler · 2004
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003
Towards one-pass synthesis
Rolf Drechsler · 2002