Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "113726414"

Zurück zur Trefferliste


Treffer 12 von 97 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/135300001X
Titel Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications / by Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Andreas Schweiger
Person(en) Kausch, Hendrik (Verfasser)
Pfeiffer, Mathias (Verfasser)
Raco, Deni (Verfasser)
Rumpe, Bernhard (Verfasser)
Schweiger, Andreas (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format 1 Online-Ressource.
Persistent Identifier URN: urn:nbn:de:101:1-2501092104055.015920062215
DOI: 10.1007/s13272-024-00762-6
URL https://doi.org/10.1007/s13272-024-00762-6
Zeitliche Einordnung Erscheinungsdatum: 2024
DDC-Notation 629.2 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Confederation of European Aerospace Societies: CEAS Aeronautical Journal (21.10.2024: 1-16)
Sachgruppe(n) 620 Ingenieurwissenschaften und Maschinenbau

Online-Zugriff Archivobjekt öffnen




Treffer 12 von 97
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration