Versenden
Drucken
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: |
| ||||||||||||
| 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
