h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications

; ; ; ;

In
CEAS Aeronautical Journal# 16(1), Seiten/Artikel-Nr.:33-48

ImpressumWien [u.a.] : Springer

Umfang16 Seiten

ISSN1869-5590

Published: 21 October 2024

Online
DOI: 10.18154/RWTH-2024-10010
DOI: 10.1007/s13272-024-00762-6

URL: https://publications.rwth-aachen.de/record/995589/files/995589.pdf

Einrichtungen

  1. Lehrstuhl für Software Engineering (Informatik 3) (121510)
  2. Fachgruppe Informatik (120000)

Projekte

  1. OAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF) (021000-OAPKF)
  2. BMBF 20X2201C - Digitale Unternehmensarchitektur zur Validierung einer modellbasierten Gesamtauslegung von zeroE-Flugzeugen (20X2201C) (20X2201C)

Thematische Einordnung (Klassifikation)
DDC: 620

OpenAccess:
Download fulltext PDF

Dokumenttyp
Journal Article

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105001069786

Interne Identnummern
RWTH-2024-10010
Datensatz-ID: 995589

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

 GO

Medline ; Creative Commons Attribution CC BY 4.0 ; OpenAccess ; DEAL Springer ; SCOPUS
QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Publication server / Open Access
Faculty of Computer Science (Fac.9)
Public records
Publication Charges
Publications database
120000
121510
TypAmountVATCurrencyShareStatusCost centre
Hybrid-OA1987.00139.09EUR95.21 %(DEAL)021000-121510
Other100.007.00EUR4.79 %(DEAL) 
Sum2087.00146.09EUR   
Total2233.09     
 Record created 2024-10-22, last modified 2025-09-29
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)