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

Formal Semantics of Model Fields in Annotation-Based Specifications.

B. Beckert, und D. Bruns. KI, Volume 7526 von Lecture Notes in Computer Science, Seite 13-24. Springer, (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.

Dr. rer. nat. Bernhard Schulz University of Stuttgart

Bernhard Schopfer University of Stuttgart

Prof. Dr. Bernhard Hauer University of Stuttgart

Hon. -Prof. Dr. Bernhard Scheuble University of Stuttgart

Univ. -Prof. Dr. -Ing. Bernhard Mitschang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Simplification of Many-Valued Logic Formulas Using Anti-Links.B. Beckert, R. Hähnle, und G. Escalada-Imaz. J. Log. Comput., 8 (4): 569-587 (1998)Semantic Tableaux with Equality.B. Beckert. J. Log. Comput., 7 (1): 39-58 (1997)Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).B. Beckert, D. Bruns, und S. Grebing. VERIFY@IJCAR, Volume 3 von EPiC Series in Computing, Seite 4-12. EasyChair, (2010)Logic Programming as a Basis for Lean Automated Deduction.B. Beckert, und J. Posegga. J. Log. Program., 28 (3): 231-236 (1996)Verification-based test case generation for information-flow properties.M. Herda, S. Tyszberowicz, J. Müssig, und B. Beckert. SAC, Seite 2231-2238. ACM, (2019)Probabilistic Models for the Verification of Human-Computer Interaction.B. Beckert, und M. Wagner. KI, Volume 5803 von Lecture Notes in Computer Science, Seite 687-694. Springer, (2009)Formal Semantics of Model Fields in Annotation-Based Specifications.B. Beckert, und D. Bruns. KI, Volume 7526 von Lecture Notes in Computer Science, Seite 13-24. Springer, (2012)Formal Verification of a Microkernel Used in Dependable Software Systems.C. Baumann, B. Beckert, H. Blasum, und T. Bormer. SAFECOMP, Volume 5775 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2009)Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.B. Beckert, S. Bischof, M. Herda, M. Kirsten, und M. Büning. ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 284-300. Springer, (2018)How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.B. Beckert, S. Grebing, und F. Böhl. UITP, Volume 167 von EPTCS, Seite 4-13. (2014)