Eintrag in der Universitätsbibliographie der TU Chemnitz
Lämmermann, S. ;
Markert, Erik ;
Braun, A. ;
Ruf, J. ;
Kropf, T. ;
Rosenstiel, W.
Universität Bremen
Eigenschaftsbasierte Verifikation von MEMS
Universität: | Technische Universität Chemnitz | |
Institut: | Professur Schaltkreis- und Systementwurf | |
Dokumentart: | Konferenzbeitrag, referiert | |
ISBN/ISSN: | 978-3-00-033757-4 | |
Quelle: | 8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems, 23. - 24.2.11, Bremen. - S. 33-38 |