Login

Drechsler, Rolf

Formal System Verification

Drechsler, Rolf - Formal System Verification, ebook

118,40€

Ebook, PDF with Adobe DRM
ISBN: 9783319576855
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Formal Techniques for Verification and Coverage Analysis of Analog Systems
Andreas Fürtig, Lars Hedrich

2. Verification of Incomplete Designs
Bernd Becker, Christoph Scholl, Ralf Wimmer

3. Probabilistic Model Checking: Advances and Applications
Marta Kwiatkowska, Gethin Norman, David Parker

4. Software in a Hardware View
Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

5. Formal Verification—The Industrial Perspective
Raik Brinkmann, Dave Kelf

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Editor
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319576855
Printed ISBN
978-3-319-57683-1

Similar titles