| |
| * | 2008 | |
|---|---|---|
| 2 | EE | Alexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008) |
| 2007 | ||
| 1 | EE | Alexander Pacholik, Wolfgang Fengler: A system model for formal verification of TLM based transaction properties. SpringSim (1) 2007: 93-99 |
| 1 | Wolfgang Fengler | [1] [2] |
| 2 | Lars Hedrich | [2] |
| 3 | Alexander Jesser | [2] |
| 4 | Thomas Kropf | [2] |
| 5 | Stefan Laemmermann | [2] |
| 6 | Wolfgang Rosenstiel | [2] |
| 7 | Jürgen Ruf | [2] |
| 8 | Roland J. Weiss (Roland Weiss) | [2] |