Versenden
Drucken
Garro, Alfredo und Tundis, Andrea und Otter, Martin und Schamai, Wladimir und Bouskela, Daniel und Jardin, Audrey und Nguyen, Thuy und Buffoni, Lena und Fritzson, Peter und Sjölund, Martin und Olsson, Hans (2016) On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution. International Symposium on Systems Engineering, 3.-5. Oct. 2016, Edingburgh, Scotland. doi: 10.1109/SysEng.2016.7753137.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
485kB |
| elib-URL des Eintrags: | https://elib.dlr.de/117024/ | ||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||||||||||||||||||||||||||
| Titel: | On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution | ||||||||||||||||||||||||||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||||||||||||||||||||||||||
| Datum: | 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||||||||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||
| DOI: | 10.1109/SysEng.2016.7753137 | ||||||||||||||||||||||||||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||||||||||||||||||||||||||
| Stichwörter: | Formal Languages, Properties Modeling, Requirements Engineering, Model-Based Systems Engineering, Modeling and Simulation, Modelica, System Verification | ||||||||||||||||||||||||||||||||||||||||||||||||
| Veranstaltungstitel: | International Symposium on Systems Engineering | ||||||||||||||||||||||||||||||||||||||||||||||||
| Veranstaltungsort: | Edingburgh, Scotland | ||||||||||||||||||||||||||||||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||||||||||||||||||||||||||||||
| Veranstaltungsdatum: | 3.-5. Oct. 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||||||||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||||||||||||||||||||||||||||||||||
| HGF - Programmthema: | Bodengebundener Verkehr (alt) | ||||||||||||||||||||||||||||||||||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||||||||||||||||||||||||||||||
| DLR - Forschungsgebiet: | V BF - Bodengebundene Fahrzeuge | ||||||||||||||||||||||||||||||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - Fahrzeugintelligenz (alt) | ||||||||||||||||||||||||||||||||||||||||||||||||
| Standort: | Oberpfaffenhofen | ||||||||||||||||||||||||||||||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Systemdynamik und Regelungstechnik > Leitungsbereich SR | ||||||||||||||||||||||||||||||||||||||||||||||||
| Hinterlegt von: | Klauer, Monika | ||||||||||||||||||||||||||||||||||||||||||||||||
| Hinterlegt am: | 18 Dez 2017 10:21 | ||||||||||||||||||||||||||||||||||||||||||||||||
| Letzte Änderung: | 21 Jul 2023 09:06 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
