Search results

Search list

Results in:

1-8 of 8 results

Nuclear power plants - Instrumentation and control systems - Use of formal security models for I&C security architecture design and assessment (IEC 45A/1405/CD:2021)

Interpretation sheet (formal explanation) regarding 61000-4-11 Ed 2

Using formal methods in the development and assurance of software

Using formal methods in the development and assurance of software

3D/438/NP (To be formally established after the approval of the NP)

Glass in building - Heat strengthened soda lime silicate glass - Part 1: Definition and description; German version EN 1863:2011/prA1:2015

Microbiology of the Food Chain- Detection of antimicrobial resistance genes and mutations - Part 1: Resistance determinants in bacteria

Microbiology of the Food Chain- Detection of antimicrobial resistance genes and mutations - Part 1: Resistance determinants in bacteria

TOP