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

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

A. Ramirez, J. Schmaltz, F. Verbeek, B. Langenstein, und H. Blasum. SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2014)

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.

Univ. -Prof. Piero Bruno University of Stuttgart

Dr. Bruno Gompf University of Stuttgart

Bruno Ohngemach University of Stuttgart

apl. Prof. Dr. -Ing. Bruno Braun University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.A. Ramirez, J. Schmaltz, F. Verbeek, B. Langenstein, und H. Blasum. SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2014)The VSE Refinement Method in Hets.T. Mossakowski, M. Codescu, C. Maeder, und B. Langenstein. ECEASST, (2013)Verification Support Environment.W. Stephan, B. Langenstein, A. Nonnengart, und G. Rock. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 476-493. Springer, (2005)Formal API Specification of the PikeOS Separation Kernel.F. Verbeek, O. Havle, J. Schmaltz, S. Tverdyshev, H. Blasum, B. Langenstein, W. Stephan, B. Wolff, und Y. Nemouchi. NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 375-389. Springer, (2015)Verification of Distributed Applications.B. Langenstein, A. Nonnengart, G. Rock, und W. Stephan. SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 315-328. Springer, (2007)A History-based Verification of Distributed Applications.B. Langenstein, A. Nonnengart, G. Rock, und W. Stephan. VERIFY, Volume 259 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)The VSE Refinement Method in Hets.M. Codescu, B. Langenstein, C. Maeder, und T. Mossakowski. ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 660-678. Springer, (2009)The Use of Formal Methods for Trusted Digital Signature Devices.B. Langenstein, R. Vogt, und M. Ullmann. FLAIRS Conference, Seite 336-340. AAAI Press, (2000)Formal software development in the Verification Support Environment (VSE).D. Hutter, B. Langenstein, G. Rock, J. Siekmann, W. Stephan, und R. Vogt. J. Exp. Theor. Artif. Intell., 12 (4): 383-406 (2000)VSE: formal methods meet industrial needs.S. Autexier, D. Hutter, B. Langenstein, H. Mantel, G. Rock, A. Schairer, W. Stephan, R. Vogt, und A. Wolpers. STTT, 3 (1): 66-77 (2000)