Search results
Search list
Results in:
DIN 31630-1
Establishment of indexes; terms, formal presentation of printed indexes
Edition
1988-06
DIN EN IEC 62657-3
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
DIN EN ISO 22600-2
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
ISO 8807
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
Edition
1989-02
ISO 16400-2
Automation systems and integration - Equipment behaviour catalogues for virtual production systems - Part 2: Formal description of a catalogue template
Edition
2024-02
ISO 20534
Industrial automation systems and integration - Formal semantic models for the configuration of global production networks
Edition
2018-09
ISO 22600-2
Health informatics - Privilege management and access control - Part 2: Formal models
Edition
2014-10
OENORM A 2653
Cataloguing of audio-visual media
Edition
1991-04-01
OENORM A 2654
Cataloguing of documents in microform
Edition
1981-09-01
OENORM A 2663
Cataloguing of maps and plans
Edition
1996-04-01
