Riener, Heinz und Könighofer, Robert und Fey, Görschwin und Bloem, Roderick (2016) SMT-based CPS Parameter Synthesis. Applied Verification for Continuous and Hybrid Systems (ARCH), 2016-04-11, Wien, Österreich.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
elib-URL des Eintrags: | https://elib.dlr.de/105966/ | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
Titel: | SMT-based CPS Parameter Synthesis | ||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||
Datum: | 2016 | ||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||
In SCOPUS: | Nein | ||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||
Stichwörter: | Cyber Physical Systems, Synthesis | ||||||||||||||||||||
Veranstaltungstitel: | Applied Verification for Continuous and Hybrid Systems (ARCH) | ||||||||||||||||||||
Veranstaltungsort: | Wien, Österreich | ||||||||||||||||||||
Veranstaltungsart: | Workshop | ||||||||||||||||||||
Veranstaltungsdatum: | 11 April 2016 | ||||||||||||||||||||
Veranstalter : | Applied Verification for Continuous and Hybrid Systems | ||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
HGF - Programm: | Raumfahrt | ||||||||||||||||||||
HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - Small Sat Kleinsatelliten (alt), R - Systemtechnologien (alt), R - Core Avionics (alt) | ||||||||||||||||||||
Standort: | Bremen | ||||||||||||||||||||
Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||||||
Hinterlegt von: | Mörz, Martina | ||||||||||||||||||||
Hinterlegt am: | 08 Sep 2016 09:45 | ||||||||||||||||||||
Letzte Änderung: | 24 Apr 2024 20:11 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags