Hilbrich, Robert (2016) Systems Engineering and Design Space Exploration based on the Correctness by Construction Methodology. IQPC System Safety EUROPE, 2016-11-28 - 2016-12-02, Berlin, Deutschland.
![]() |
PDF
3MB |
Official URL: http://www.autosystemsafety.eu/
Item URL in elib: | https://elib.dlr.de/109222/ | ||||||||
---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||
Title: | Systems Engineering and Design Space Exploration based on the Correctness by Construction Methodology | ||||||||
Authors: |
| ||||||||
Date: | 30 November 2016 | ||||||||
Refereed publication: | No | ||||||||
Open Access: | Yes | ||||||||
Gold Open Access: | No | ||||||||
In SCOPUS: | No | ||||||||
In ISI Web of Science: | No | ||||||||
Status: | Published | ||||||||
Keywords: | Systems Engineering, Model-Based Systems Engineering | ||||||||
Event Title: | IQPC System Safety EUROPE | ||||||||
Event Location: | Berlin, Deutschland | ||||||||
Event Type: | international Conference | ||||||||
Event Start Date: | 28 November 2016 | ||||||||
Event End Date: | 2 December 2016 | ||||||||
Organizer: | IQPC | ||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||
HGF - Program: | Transport | ||||||||
HGF - Program Themes: | Traffic Management (old) | ||||||||
DLR - Research area: | Transport | ||||||||
DLR - Program: | V VM - Verkehrsmanagement | ||||||||
DLR - Research theme (Project): | V - I.MoVe (old) | ||||||||
Location: | Berlin-Adlershof | ||||||||
Institutes and Institutions: | Institute of Transportation Systems > Verkehrssimulation und -prognose | ||||||||
Deposited By: | Hilbrich, Dr. Robert | ||||||||
Deposited On: | 08 Dec 2016 09:54 | ||||||||
Last Modified: | 08 Jul 2024 12:43 |
Repository Staff Only: item control page