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
DIN ISO 29993
Learning services outside formal education - Service requirements (ISO 29993:2017)
Edition
2018-10
DIN ISO 29993 Berichtigung 1
Learning services outside formal education - Service requirements (ISO 29993:2017); Corrigendum 1
Edition
2021-02
CAN/CSA-ISO/IEC 13568-04
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics
Edition
2004-01-01
CAN/CSA-Z243.101-89
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
Edition
1989-08-31
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
