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

Automated Formal Verification of Routing in Material Handling Systems.

T. Klotz, J. Schönherr, N. Seßler, B. Straube, und K. Turek. IEEE Trans. Automation Science and Engineering, 10 (4): 900-915 (2013)

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.

Bernd Bertsche

Dr. rer. nat. Bernd Schulz University of Stuttgart

Bernd Peters University of Stuttgart

Apl. Prof. Dr. Bernd Flemisch University of Stuttgart

Bernd Bertsche

Weitere Publikationen von Autoren mit dem selben Namen

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)Fault Tolerant Mechatronics.E. Dilger, R. Karrelmeyer, und B. Straube. IOLTS, Seite 214-218. IEEE Computer Society, (2004)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)Anwendungen der Theorie unscharfer Mengen bei der Modellierung realer Systeme.B. Straube. Akademie der Wissenschaften der DDR, Berlin, Germany, (1984)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)Fehlertoleranter Lenkwinkelgeber.E. Dilger, M. Gulbins, T. Ohnesorge, und B. Straube. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), Volume P-36 von LNI, Seite 139-150. GI, (2003)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)DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems).B. Becker, I. Polian, S. Hellebrand, B. Straube, und H. Wunderlich. it - Information Technology, 48 (5): 304- (2006)Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten.J. Schönherr, und B. Straube. MBMV, Seite 47-56. VDE, (2000)