ITG-Fachbericht ANALOG 2016
Book title Buchtitel
ITG-Fachbericht ANALOG 2016
Publisher Herausgeber
VDE VERLAG GMBH; Berlin; Offenbach, Bismarckstraße 33, 10625 Berlin
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rathmair, Michael ; Schupfer, Florian | Metrics for Formal Property Checking Against Undesired Circuit Behavior in Embedded Systems | Konferenzbeitrag Inproceedings  | 2016 |