Establishment of indexes; terms, formal presentation of printed indexes
Edition 1988-06

Industrial networks - Coexistence of wireless systems - Part 3: Formal description of the automated coexistence management and application guidance (IEC 62657-3:2022); German version EN IEC 62657-3:2022
Edition 2024-04

Health informatics - Privilege management and access control - Part 2: Formal models (ISO 22600-2:2014); German version EN ISO 22600-2:2014
Edition 2015-02

Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
Edition 1989-02

Automation systems and integration - Equipment behaviour catalogues for virtual production systems - Part 2: Formal description of a catalogue template
Edition 2024-02

Industrial automation systems and integration - Formal semantic models for the configuration of global production networks
Edition 2018-09

Health informatics - Privilege management and access control - Part 2: Formal models
Edition 2014-10

Cataloguing of audio-visual media
Edition 1991-04-01

Cataloguing of documents in microform
Edition 1981-09-01

Cataloguing of maps and plans
Edition 1996-04-01