Risk management for high tech systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationFormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018
    EditorsStefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione
    PublisherACM Inc.
    Number of pages1
    ISBN (Electronic)978-1-4503-5718-0
    DOIs
    Publication statusPublished - Jun 2018
    Event6th Conference on Formal Methods in Software Engineering 2018 - Gothenburg, Sweden
    Duration: 2 Jun 20182 Jun 2018
    Conference number: 6
    https://www.formalise.org/content/formalise-2018

    Conference

    Conference6th Conference on Formal Methods in Software Engineering 2018
    Abbreviated titleFormaliSE 2018
    CountrySweden
    CityGothenburg
    Period2/06/182/06/18
    Internet address

    Cite this

    Stoelinga, M. (2018). Risk management for high tech systems. In S. Gnesi, N. Plat, P. Spoletini, & P. Pelliccione (Eds.), FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 ACM Inc.. https://doi.org/10.1145/3193992.3193993