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
Stoelinga, Mariëlle. / Risk management for high tech systems. FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. editor / Stefania Gnesi ; Nico Plat ; Paola Spoletini ; Patrizio Pelliccione. ACM Inc., 2018.
@inproceedings{88017c19f9f0401da631c22e7c63c8b8,
title = "Risk management for high tech systems",
author = "Mari{\"e}lle Stoelinga",
year = "2018",
month = "6",
doi = "10.1145/3193992.3193993",
language = "English",
editor = "Stefania Gnesi and Nico Plat and Paola Spoletini and Patrizio Pelliccione",
booktitle = "FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018",
publisher = "ACM Inc.",

}

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., 6th Conference on Formal Methods in Software Engineering 2018, Gothenburg, Sweden, 2/06/18. https://doi.org/10.1145/3193992.3193993

Risk management for high tech systems. / Stoelinga, Mariëlle.

FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ed. / Stefania Gnesi; Nico Plat; Paola Spoletini; Patrizio Pelliccione. ACM Inc., 2018.

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

TY - GEN

T1 - Risk management for high tech systems

AU - Stoelinga, Mariëlle

PY - 2018/6

Y1 - 2018/6

U2 - 10.1145/3193992.3193993

DO - 10.1145/3193992.3193993

M3 - Conference contribution

BT - FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018

A2 - Gnesi, Stefania

A2 - Plat, Nico

A2 - Spoletini, Paola

A2 - Pelliccione, Patrizio

PB - ACM Inc.

ER -

Stoelinga M. Risk management for high tech systems. In Gnesi S, Plat N, Spoletini P, Pelliccione P, editors, 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. 2018 https://doi.org/10.1145/3193992.3193993