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