Tell a friend
Print
Garro, Alfredo and Tundis, Andrea and Otter, Martin and Schamai, Wladimir and Bouskela, Daniel and Jardin, Audrey and Nguyen, Thuy and Buffoni, Lena and Fritzson, Peter and Sjölund, Martin and 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.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
485kB |
| Item URL in elib: | https://elib.dlr.de/117024/ | ||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||||||||||||||
| Title: | On formal cyber physical System properties modeling: a new temporal logic language and a Modelica-based solution | ||||||||||||||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||||||||||||||
| Date: | 2016 | ||||||||||||||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||||||||||||||
| Keywords: | Formal Languages, Properties Modeling, Requirements Engineering, Model-Based Systems Engineering, Modeling and Simulation, Modelica, System Verification | ||||||||||||||||||||||||||||||||||||
| Event Title: | International Symposium on Systems Engineering | ||||||||||||||||||||||||||||||||||||
| Event Location: | Edingburgh, Scotland | ||||||||||||||||||||||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||||||||||||||||||||||
| Event Dates: | 3.-5. Oct. 2016 | ||||||||||||||||||||||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||||||||||||||
| HGF - Program: | Transport | ||||||||||||||||||||||||||||||||||||
| HGF - Program Themes: | Terrestrial Vehicles (old) | ||||||||||||||||||||||||||||||||||||
| DLR - Research area: | Transport | ||||||||||||||||||||||||||||||||||||
| DLR - Program: | V BF - Bodengebundene Fahrzeuge | ||||||||||||||||||||||||||||||||||||
| DLR - Research theme (Project): | V - Fahrzeugintelligenz (old) | ||||||||||||||||||||||||||||||||||||
| Location: | Oberpfaffenhofen | ||||||||||||||||||||||||||||||||||||
| Institutes and Institutions: | Institute of System Dynamics and Control > Leitungsbereich SR | ||||||||||||||||||||||||||||||||||||
| Deposited By: | Klauer, Monika | ||||||||||||||||||||||||||||||||||||
| Deposited On: | 18 Dec 2017 10:21 | ||||||||||||||||||||||||||||||||||||
| Last Modified: | 29 Mar 2023 00:07 |
Repository Staff Only: item control page
