Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "113726414"
Treffer 5 von 17
|
|
| 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 5 von 17
Administration
