Formale Sicherheitsanalyse von Ortmeier, Frank 1973-

Inhaltstext

Computer safety, reliability, and security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020 ; proceedings

Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover

Computer safety, reliability, and security SAFECOMP 2020 workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings

Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Model-based safety and assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 ; proceedings

Weitere Verfasser: “… Ortmeier, Frank 1973- …”
BTU01
FHM01
FHN01
FKE01
FRO01
TUM01
UBA01
UBG01
UBT01
UBW01
UBY01
UER01
UPA01
Volltext
Inhaltsverzeichnis
Abstract

Model-based safety and assessment 4th international symposium, IMBSA 2014, München, Germany, October 27 - 29, 2014 ; proceedings

Weitere Verfasser: “… Ortmeier, Frank 1973- …”
Inhaltstext