BS ISO/IEC TR 14369:1999
|
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS)
|
ISO/IEC TR 11589:1995
|
Information technology — Open Systems Interconnection — LOTOS description of the CCR service
|
CAN/CSA-ISO/IEC 15437-02 (R2011)
|
Information Technology - Enhancements to LOTOS (E-LOTOS) (Adopted ISO/IEC 15437:2001, first edition, 2001-08-15)
|
ISO/IEC TR 9572:1989
|
Information technology — Open Systems Interconnection — LOTOS description of the session protocol
|
ISO/IEC TR 10024:1992
|
Information technology — Telecommunications and information exchange between systems — Formal description of ISO 8073 (Classes 0, 1, 2, 3) in LOTOS
|
I.S. EN 61508-7:2010
|
FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
|
CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
ETR 071 : 20001
|
METHODS FOR TESTING AND SPECIFICATIONS (MTS) - SEMANTIC RELATIONSHIP BETWEEN SDL AND TTCN - A COMMON SEMANTICS REPRESENTATION
|
INCITS/ISO/IEC 10746-4 : 1998
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
BS ISO/IEC TR 11590:1995
|
Information technology. Open systems interconnection. LOTOS description of the CCR protocol
|
CSA ISO/IEC 15437 : 2002
|
INFORMATION TECHNOLOGY - ENHANCEMENTS TO LOTOS (E-LOTOS)
|
CEI EN 61508-7 : 2011
|
FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETYRELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
|
ISO/IEC 10746-4:1998
|
Information technology Open Distributed Processing Reference Model: Architectural semantics Part 4:
|
IEC 61508-7:2010
|
Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures (see Functional Safety and IEC 61508)
|
UNE-EN 61508-7:2011
|
Functional safety of electrical/electronic/programmable electronic safety-related systems -- Part 7: Overview of techniques and measures
|
ISO/IEC TR 14369:2018
|
Information technology Programming languages, their environments and system software interfaces Guidelines for the preparation of language-independent service specifications (LISS)
|
BS ISO/IEC 10746-4:1998
|
Information technology. Open distributed processing. Reference model Architectural semantics
|
08/30193478 DC : DRAFT NOV 2008
|
BS EN 61508-7 - FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES
|
ISO/IEC TR 10167:1991
|
Information technology — Open Systems Interconnection — Guidelines for the application of Estelle, LOTOS and SDL
|
BS EN 61508-7:2010
|
Functional safety of electrical/electronic/ programmable electronic safety related systems Overview of techniques and measures
|
BS ISO/IEC TR 11589:1995
|
Information technology. Open systems interconnection. LOTOS description of the CCR service
|
BS ISO/IEC 15437:2001
|
Information technology. Enhancements to LOTOS (E-LOTOS)
|
INCITS/ISO/IEC 10746-4 : 1998 : R2007
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
ISO/IEC TR 9571:1989
|
Information technology — Open Systems Interconnection — LOTOS description of the session service
|
FIPS PUB 140 : 0001
|
SECURITY REQUIREMENTS FOR CRYPTOGRAPHIC MODULES
|
BS ISO/IEC TR 10023:1992
|
Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8072 in LOTOS
|
ISO/IEC TR 11590:1995
|
Information technology — Open Systems Interconnection — LOTOS description of the CCR protocol
|
ISO/IEC TR 10023:1992
|
Information technology — Telecommunications and information exchange between systems — Formal description of ISO 8072 in LOTOS
|
CSA ISO/IEC 10746-4 : 2001 : R2014
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
BS ISO/IEC TR 10024:1992
|
Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8073 (Classes 0,1,2,3) in LOTOS
|
ETR 049 : 20001
|
ADVANCED TESTING METHODS (ATM) - STATE OF RESEARCH IN THE AREA OF FORMAL TEST SPECIFICATION METHODS
|
CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003:R2009
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
CSA ISO/IEC 10746-4 : 2001 : FR
|
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
|
EN 61508-7:2010
|
Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures
|