 |
|
|||
| Authors: | Simon Künzli, Francesco Poletti, Luca Benini, Lothar Thiele |
| Group: | Computer Engineering |
| Type: | Inproceedings |
| Title: | Combining Simulation and Formal Methods for System-Level Performance Analysis |
| Year: | 2006 |
| Pub-Key: | KPBT06 |
| Book Titel: | Design Automation and Test in Europe (DATE) |
| Pages: | 236-241 |
| Keywords: | MPA ESD |
| Publisher: | IEEE Computer Society |
| Remarks: | accepted for publication |
| Resources: | [BibTeX] [Paper as PDF] |
