Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Christoph Läsche"'
Publikováno v:
Volume 1B: Offshore Technology.
Safety and dependability are major design objectives for offshore operations such as the construction of wind farms or oil and gas exploration. Today processes and related risks are typically described informally and process specification are neither
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f279057b6f6b3af2704ed853ac0b517
https://doi.org/10.1115/omae2014-24018
https://doi.org/10.1115/omae2014-24018
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336775
SAFECOMP
SAFECOMP
One of the effects of the radically changing energy market is that more and more offshore wind turbines are being constructed. To meet the increasing demand for renewable energy, many new companies with different levels of experience are entering the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6134bcbb34898547efd6f8ea3ac862fe
https://doi.org/10.1007/978-3-642-33678-2_4
https://doi.org/10.1007/978-3-642-33678-2_4
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783642324680
FMICS
FMICS
The commercial installation of offshore wind farms is still far from having established standards or procedures and puts high demands on employees who deal with uncertainty and risks. We present a model-based risk assessment approach to support the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a6ea1ecfb46544e6cb8f88cb9031d1a
https://doi.org/10.1007/978-3-642-32469-7_10
https://doi.org/10.1007/978-3-642-32469-7_10
Publikováno v:
Scopus-Elsevier
ECMS
ECMS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01290713146de792ffc2115a9293c282
http://www.scopus.com/inward/record.url?eid=2-s2.0-84900300923&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84900300923&partnerID=MN8TOARS
Autor:
Mariëlle Stoelinga, Ralf Pinger
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submis
Autor:
Frank Ortmeier, Peter Daniel
This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully revie