Risk management for high tech systems

Mariëlle Stoelinga

doi:10.1145/3193992.3193993

Risk management for high tech systems

Mariëlle Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018
Editors	Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione
Publisher	Association for Computing Machinery
Number of pages	1
ISBN (Electronic)	978-1-4503-5718-0
DOIs	https://doi.org/10.1145/3193992.3193993
Publication status	Published - Jun 2018
Event	6th Conference on Formal Methods in Software Engineering 2018 - Gothenburg, Sweden Duration: 2 Jun 2018 → 2 Jun 2018 Conference number: 6 https://www.formalise.org/content/formalise-2018

Conference

Conference	6th Conference on Formal Methods in Software Engineering 2018
Abbreviated title	FormaliSE 2018
Country/Territory	Sweden
City	Gothenburg
Period	2/06/18 → 2/06/18
Internet address	https://www.formalise.org/content/formalise-2018

Access to Document

10.1145/3193992.3193993

Cite this

@inproceedings{88017c19f9f0401da631c22e7c63c8b8,

title = "Risk management for high tech systems",

author = "Mari{\"e}lle Stoelinga",

year = "2018",

month = jun,

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 = "Association for Computing Machinery",

address = "United States",

note = "6th Conference on Formal Methods in Software Engineering 2018, FormaliSE 2018 ; Conference date: 02-06-2018 Through 02-06-2018",

url = "https://www.formalise.org/content/formalise-2018",

}

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. Association for Computing Machinery, 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. Association for Computing Machinery, 2018.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Risk management for high tech systems

AU - Stoelinga, Mariëlle

N1 - Conference code: 6

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 - Association for Computing Machinery

T2 - 6th Conference on Formal Methods in Software Engineering 2018

Y2 - 2 June 2018 through 2 June 2018

ER -