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