Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universit?t Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur sp?teren formalen Verifikation ?berf?hrt. Das Programm wurde an der Technischen Universit?t in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit.
| Author: Christoph Holzbaur |
| Publisher: Examicus Verlag |
| Publication Date: Aug 19, 2016 |
| Number of Pages: 68 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3869431334 |
| ISBN-13: 9783869431338 |
