Sisäänkirjautuminen

Drechsler, Rolf

Formal System Verification

Drechsler, Rolf - Formal System Verification, e-kirja

105,00€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783319576855
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Toimittaja
Julkaisija
Springer
Julkaisuvuosi
2018
Kieli
en
Painos
1
Sivumäärä
16 sivua
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9783319576855
Painetun ISBN
978-3-319-57683-1

Samankaltaisia e-kirjoja