External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter. Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In Walid Maalej, Bernd Brügge, editors, Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München. Volume 122 of LNI, pages 335-338, GI, 2008.

Abstract

Abstract is missing.

runs on