Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Compositional verification of material handling systems.

T. Klotz, N. Seßler, B. Straube, E. Fordran, K. Turek, und J. Schönherr. ETFA, Seite 1-8. IEEE, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maximilian Schönherr University of Stuttgart

Iris Schönherr University of Stuttgart

Univ. -Prof. Dr. Jens Brockmeyer University of Stuttgart

Jens Wizl University of Stuttgart

Jens Müller University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.J. Schönherr. MBMV, Seite 37-46. Universitätsbibliothek Berlin, Germany, (2009)Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.I. Schreiber, J. Schönherr, E. Fordran, K. Schneider, und B. Straube. MBMV, Seite 114-123. HNI-Verlagsschriften, (1998)Induction based Equivalence Check at Register Transfer Level.J. Schönherr, und B. Straube. MBMV, Seite 37-44. VDE, (2000)Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.M. Freibothe, J. Schönherr, und B. Straube. Electron. Notes Theor. Comput. Sci., 153 (3): 23-35 (2006)Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.J. Schönherr, M. Freibothe, B. Straube, und J. Bormann. Theor. Comput. Sci., 404 (3): 293-307 (2008)Abstracting from Register-Transfer to Algorithmic Level for Verification.J. Schönherr. MBMV, Seite 147-156. Fraunhofer Verlag, (2010)On the formal verification of routing in material handling systems.T. Klotz, N. Seßler, B. Straube, E. Fordran, K. Turek, und J. Schönherr. CASE, Seite 8-13. IEEE, (2012)Formal Verification of a Reconfigurable Microprocessor.S. Sawitzki, J. Schönherr, R. Spallek, und B. Straube. FPL, Volume 1896 von Lecture Notes in Computer Science, Seite 781-784. Springer, (2000)Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.M. Freibothe, J. Schönherr, B. Straube, und J. Bormann. ISoLA (Preliminary proceedings), Volume TR-2004-6 von Technical Report, Seite 181-187. Department of Computer Science, University of Cyprus, (2004)Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.J. Schönherr, und B. Straube. DATE, Seite 759. IEEE Computer Society / ACM, (2000)