recid:2809709 - 検索結果 - CERN Document Server

検索コレクション:

並べ替え：	結果の表示	出力フォーマット:

CERN Document Server	1 のレコードが見つかりました。	検索にかかった時間： 0.77 秒

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program / Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Havart, Frederic (CERN) ; Ladzinski, Tomasz (CERN) ; Lopez-Miguel, Ignacio D (CERN) ; Tournier, Jean-Charles (CERN)
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. [...]
2022 - 5 p. - Published in : JACoW ICALEPCS2021 (2022) 759-763 Fulltext: PDF;
In : 18th International Conference on Accelerator and Large Experimental Physics Control Systems, Online, 18 - 22 Oct 2021, pp.759-763

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

捜していたものを見つけなかったならば、他のサーバーもお試しください：
recid:2809709 中の Amazon recid:2809709 中の CERN EDMS recid:2809709 中の CERN Intranet recid:2809709 中の CiteSeer recid:2809709 中の Google Books recid:2809709 中の Google Scholar recid:2809709 中の Google Web recid:2809709 中の IEC	recid:2809709 中の IHS recid:2809709 中の INSPIRE recid:2809709 中の ISO recid:2809709 中の KISS Books/Journals recid:2809709 中の KISS Preprints recid:2809709 中の NEBIS recid:2809709 中の SLAC Library Catalog

CERN Document Server