Login
- Dokumenttyp:
- Studienarbeit/SEP/IDP
- Autor(en):
- Pachajoa, Carlos; Rempe, Felix; Seravalli, Marco
- Titel:
- Symbolic Reasoning on Embedded Controllers for Industrial Diagnostics (BGCE Honours Project)
- Jahr:
- 2013
- Monat:
- Feb
- TUM Einrichtung:
- Institut für Informatik, Technische Universität München
BibTeX