Eintrag in der Universitätsbibliographie der TU Chemnitz
Horn, Thomas ;
Sauppe, Matthias ;
Markert, Erik ;
Heinkel, Ulrich ;
Rössel, Wolfgang ;
Sahm, Hans
MBMV
Einsatz formaler Methoden zur Energieeinsparung
Application of formal methods for enery saving
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | ISBN: 978-3-86009-147-0 | |
| Quelle: | MBMV, 12. - 14. März 2013, Warnemünde, 2013 | |
| Freie Schlagwörter (Englisch): | Formal methods , circuit design , power dissipation , energy saving |
