Betz, Christine - 檢索結果 - CERN Document Server

搜尋專輯:

排序	結果顯示	輸出格式:

CERN Document Server	找到 1 筆記錄	檢索需時 0.54 秒.

Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code / Lopez-Miguel, Ignacio D (TU Vienna) ; Betz, Christine (Darmstadt, GSI) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) ; Salinas, Matias (Darmstadt, GSI)
Formal verification techniques are widely used in critical industries to minimize software flaws. However, despite the benefits and recommendations of the functional safety standards, such as IEC 61508 and IEC 61511, formal verification is not yet a common practice in the process industry and large scientific installations. [...]
2023 - 6 p. - Published in : JACoW ICALEPCS 2023 (2023) TUPDP001 Fulltext: PDF;
In : 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.TUPDP001

參見：相似的作者
1	Betz, C
2	Betz, Charles T

您想得到有關這檢索條件的最新結果嗎？
建立您的電郵警報或訂閱 RSS feed.

沒有尋找到什麼? 嘗試在以下的服務器查尋：
Betz, Christine 在 Amazon Betz, Christine 在 CERN EDMS Betz, Christine 在 CERN Intranet Betz, Christine 在 CiteSeer Betz, Christine 在 Google Books Betz, Christine 在 Google Scholar Betz, Christine 在 Google Web Betz, Christine 在 IEC	Betz, Christine 在 IHS Betz, Christine 在 INSPIRE Betz, Christine 在 ISO Betz, Christine 在 KISS Books/Journals Betz, Christine 在 KISS Preprints Betz, Christine 在 NEBIS Betz, Christine 在 SLAC Library Catalog Betz, Christine 在 Scirus

CERN Document Server