Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: "128533080"

Zurück zur Trefferliste


Treffer 1 von 41 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1370466803
Art des Inhalts Hochschulschrift
Titel Checkable Safety Arguments - A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts / Carmen Cârlan ; Gutachter: Alexander Pretschner, Barbara Gallina ; Betreuer: Alexander Pretschner
Person(en) Cârlan, Carmen (Verfasser)
Pretschner, Alexander (Akademischer Betreuer)
Pretschner, Alexander (Gutachter)
Gallina, Barbara (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2025
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20250317-1752712-0-4
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20250317-1752712-0-4 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Technische Sicherheit* ; Argumentation* ; Sicherheitskritisches System* ; Systementwicklung* ; Softwareentwicklung* ; Formale Methode* (*maschinell ermittelt)
DDC-Notation 005.12 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 41
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration