CERN Accelerating science

HSE Articles

Последние добавления:
2020-09-11
10:34
The Fluence Conversion Coefficients method : applications to radiological characterization with the FLUKA and PHITS codes. / Bozzato, D ; Froeschl, R (ed.)
One of the key aspects of radiation protection is the radiological characterization of components that have been exposed to a radiation environment [...]
2020-09-02.

Full text
Подробная запись - Подобные записи
2020-03-12
09:05
Semi-formal Reformulation of Requirements for Formal Property Verification / Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Ambiguously specified requirements can be a source of risk for safety-critical electronic designs. Requirement specifications in natural language are subject to misinterpretation. [...]
Fulltext: PDF;
In : Design and Verification Conference in Europe, Munich, 29 - 30 Oct 2019, pp.7.1

Подробная запись - Подобные записи