elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation

Riener, Heinz und Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. International Workshop on Model Checking Software (SPIN), 2012-07-23 - 2012-07-24, Oxford. doi: 10.1007/978-3-642-31759-0_17. ISSN 0302-9743.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: http://dx.doi.org/10.1007/978-3-642-31759-0_17


elib-URL des Eintrags:https://elib.dlr.de/77028/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Riener, HeinzNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2012
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Band:7385
DOI:10.1007/978-3-642-31759-0_17
Seitenbereich:Seiten 234-240
Verlag:Springer
Name der Reihe:Lecture Notes in Computer Science
ISSN:0302-9743
Status:veröffentlicht
Stichwörter:Hardware design, formal verification, model checking
Veranstaltungstitel:International Workshop on Model Checking Software (SPIN)
Veranstaltungsort:Oxford
Veranstaltungsart:Workshop
Veranstaltungsbeginn:23 Juli 2012
Veranstaltungsende:24 Juli 2012
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:keine Zuordnung
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R - keine Zuordnung
DLR - Teilgebiet (Projekt, Vorhaben):R - keine Zuordnung
Standort: Bremen
Institute & Einrichtungen:Institut für Raumfahrtsysteme > Avioniksysteme
Hinterlegt von: Fey, Görschwin
Hinterlegt am:13 Sep 2012 10:21
Letzte Änderung:04 Jun 2024 14:20

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.