Showing 1 - 5 results of 5 for search 'Ortmeier, Frank 1973-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Formale Sicherheitsanalyse

    Formale Sicherheitsanalyse by Ortmeier, Frank 1973-

    Published 2006
    Description
    Thesis Book Interlibrary loan Place Request


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

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

    Published 2020
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


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

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

    Published 2020
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


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

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

    Published 2014
    Other Authors: “…Ortmeier, Frank 1973-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


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

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

    Published 2014
    Other Authors: “…Ortmeier, Frank 1973-…”
    Description
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: