Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2020Methoden zur Absicherung von KI-basierten Perzeptionsarchitekturen in autonomen Systemen
Schleiß, Philipp; Kurzidem, Iwo
Konferenzbeitrag
2005Technisches Informationsmanagement zur Gewährleistung von Arbeitsschutz und Anlagensicherheit
Wack, T.; Müller, T.
Zeitschriftenaufsatz
2005Wissensbasierte Informationstechnologie in der Anlagensicherheit
Müller, T.; Wack, T.
Zeitschriftenaufsatz
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2001Untersuchungen zur Druckentlastung siedend aufwallender, reaktiver und nichtreaktiver, viskoser Stoffsysteme
Hoff, A.; Neumann, J.; Deerberg, G.; Steiff, A.
Zeitschriftenaufsatz
1999Sicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-Verifikation Tool
Basak, G.
Diplomarbeit
1997Fehlermodell und Sicherheitsanalysen bei der Anforderungsspezifikation
Kelling, C.; Mackenthun, R.
Bericht
1996Mikromechanische Modellierung duktiler Schädigung in Metallen
Sun, D.-Z.
Konferenzbeitrag