Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

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

 

Soziale Medien

Verbinde dich mit uns: