Compliance, Functional Safety and Fault Detection by Formal Methods

Fetzer, Christof; Weidenbach, Christoph; Wischnewski, Patrick

doi:10.1007/978-3-319-47169-3_48

Lokale TagsFreigabegeschichteDetailsÜbersicht

Compliance, Functional Safety and Fault Detection by Formal Methods

Fetzer, C., Weidenbach, C., & Wischnewski, P. (2016). Compliance, Functional Safety and Fault Detection by Formal Methods. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation (pp. 626-632). Berlin: Springer. doi:10.1007/978-3-319-47169-3_48.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-3A6F-0 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-339A-B

Genre: Konferenzbeitrag

ausblenden:

Urheber:
Fetzer, Christof¹, Autor
Weidenbach, Christoph², Autor
Wischnewski, Patrick¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2016Erschienen: 2016

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: FetzerISOLA2016
DOI: 10.1007/978-3-319-47169-3_48

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Veranstaltungsort: Corfu, Greece

Start-/Enddatum: 2016-10-10 - 2016-10-14

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Leveraging Applications of Formal Methods, Verification and Validation

Kurztitel : ISoLA 2016

Untertitel : Discussion, Dissemination, Applications ; 7th International Symposium, ISoLA 2016 ; Imperial, Corfu, Greece, October 10-14, 2016 ; Proceedings, Part II

Genre der Quelle: Konferenzband

Urheber:
Margaria, Tiziana¹, Herausgeber
Steffen, Bernhard¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 626 - 632 Identifikator: ISBN: 978-3-319-47168-6

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Computer Science

Kurztitel : LNCS

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 9953 Artikelnummer: - Start- / Endseite: - Identifikator: -

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2