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 |