Login
- Document type:
- Studienarbeit/SEP/IDP
- Author(s):
- Pachajoa, Carlos; Rempe, Felix; Seravalli, Marco
- Title:
- Symbolic Reasoning on Embedded Controllers for Industrial Diagnostics (BGCE Honours Project)
- Year:
- 2013
- Month:
- Feb
- TUM Institution:
- Institut für Informatik, Technische Universität München
BibTeX