Workshop Summary
| dc.contributor.author | Schweiger, Andreas | |
| dc.contributor.author | Durak, Umut | |
| dc.contributor.author | Reich, Marina | |
| dc.contributor.author | Annighoefer, Bjoern | |
| dc.contributor.editor | Feichtinger, Kevin | |
| dc.contributor.editor | Sonnleithner, Lisa | |
| dc.contributor.editor | Hajiabadi, Hamideh | |
| dc.date.accessioned | 2025-02-14T10:03:36Z | |
| dc.date.available | 2025-02-14T10:03:36Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | Systems and software engineering in aerospace is subject to special challenges. For covering these the AvioSE’25 workshop connects academia, industry, and certification authorities through selected scientific presentations, keynote talks, and a panel discussion. | en |
| dc.identifier.doi | 10.18420/se2025-ws-05 | |
| dc.identifier.eissn | 2944-7682 | |
| dc.identifier.issn | 2944-7682 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45847 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | Software Engineering 2025 – Companion Proceedings | |
| dc.subject | avionics | |
| dc.subject | safety | |
| dc.subject | security | |
| dc.subject | systems engineering | |
| dc.subject | software engineering | |
| dc.subject | MBSE | |
| dc.subject | formal method | |
| dc.subject | formal verification | |
| dc.subject | model-based | |
| dc.subject | requirement | |
| dc.subject | qualification | |
| dc.subject | certification | |
| dc.subject | simulation | |
| dc.subject | process | |
| dc.subject | tool | |
| dc.subject | platform | |
| dc.subject | architecture | |
| dc.subject | AI | |
| dc.title | Workshop Summary | en |
| mci.conference.date | 22.-28. Februar 2025 | |
| mci.conference.location | Karlsruhe | |
| mci.conference.sessiontitle | 7th Workshop on Avionics Systems and Software Engineering (AvioSE’25) | |
| mci.reference.pages | 51-52 |
Dateien
Originalbündel
1 - 1 von 1