We use cookies to make our website more user-friendly and to continually improve it. Please agree to the use of cookies in order to proceed with using our websites. More information can be found in our data protection information and our cookie guidelines.

- Required
- Functional
- Personalization
- Required
  These cookies are essential for the operation of the site and enable, for example, security-relevant functions. In addition, we can also use this type of cookie to determine whether you want to remain logged in to your profile in order to make our services available to you more quickly when you visit our website again.
- Functional
  In order to further improve our offer and our website, we collect anonymized data for statistics and analysis. With the help of these cookies we can, for example, determine the number of visitors and the effect of certain pages on our website and optimize our content.
- Personalization
  We use these cookies to make it easier for you to use the site. For example, based on a previous (e.g. product search), you can conveniently access it when you visit our website again.

Attention: Your browser doesn't support javascript or you have deactivated Javascript in your browser. Please enable Javascript in your browser in order to be able to use all functions of this website.

Search results

Search list

Results in:

Products Information Projects & Committees

1-2 of 2 results

Show

Committees

IEC/SC 65A/PT 61508-3-2

Using formal methods in the development and assurance of software

Project

DIN IEC/TS 61508-3-2

Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation (IEC 65A/932/CD:2019); Text in German and English

TOP

Economic benefits

DIN SPEC

Why do standards cost money?

Get involved in standardization

Terminology

Search results

Search list

Results in:

IEC/SC 65A/PT 61508-3-2

DIN IEC/TS 61508-3-2