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 |