Formal Modeling and Verification of Cyber-Physical SystemsRolf Drechsler

Formal Modeling and Verification of Cyber-Physical Systems

Rolf Drechsler, Ulrich Kühne · 2015

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2015
Language: English
Publisher: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
Editions: 3
ISBN: 9783658099947

Data source: Wikidata

More by Rolf Drechsler

Towards One-Pass SynthesisRolf Drechsler

Towards One-Pass Synthesis

Rolf Drechsler · 2002

Formal Verification of CircuitsRolf Drechsler

Formal Verification of Circuits

Rolf Drechsler · 2000

Binary Decision DiagramsRolf Drechsler

Binary Decision Diagrams

Rolf Drechsler · 1998

Evolutionary Algorithms for VLSI CADRolf Drechsler

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler · 1998

Advanced Boolean TechniquesRolf Drechsler

Advanced Boolean Techniques

Rolf Drechsler · 2023

Formal System VerificationRolf Drechsler

Formal System Verification

Rolf Drechsler · 2017

Test pattern generation using Boolean proof enginesRolf Drechsler

Test pattern generation using Boolean proof engines

Rolf Drechsler · 2009

Advanced Formal VerificationRolf Drechsler

Advanced Formal Verification

Rolf Drechsler · 2004

Evolutionary Algorithms for Embedded System DesignRolf Drechsler

Evolutionary Algorithms for Embedded System Design

Rolf Drechsler · 2003

Towards one-pass synthesisRolf Drechsler

Towards one-pass synthesis

Rolf Drechsler · 2002