Analyzing second-order effects between optimizations for system-level test-based model generation
- Tiziana Margaria
- , Harald Raffelt
- , Bernhard Steffen
- University of Göttingen
- METAFrame Technologies GmbH
- TU Dortmund University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review