ISO/IEC 15437:2001
$55.25
Information technology — Enhancements to LOTOS (E-LOTOS)
| Published By | Publication Date | Number of Pages |
| ISO | 2001-08 | 200 |
This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),
named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and
concurrent systems in general and in the area of open distributed processing in particular.
Related products
-
UNE-EN ISO/IEC 15438:2010
Information technology – Automatic identification and data capture techniques – PDF417 bar code symbology specification…
-
ISO/IEC 15457-1:2008
Identification cards — Thin flexible cards — Part 1: Physical characteristics Published By Publication Date…
-
ISO/IEC 15457-2:2007
Identification cards — Thin flexible cards — Part 2: Magnetic recording technique Published By Publication…
-
ISO/IEC 15417:2007
Information technology — Automatic identification and data capture techniques — Code 128 bar code symbology…
-
BS EN ISO 15487:2001:2002 Edition
Textiles. Method for assessing appearance of apparel and other textile end products after domestic washing…
-
BS ISO 15237:2003
Solid mineral fuels. Determination of total mercury content of coal Published By Publication Date Number…
-
BS EN 1437:2002:2003 Edition
Plastics piping systems. Piping systems for underground drainage and sewerage. Test method for resistance to…
-
BS ISO/IEC 15457-1:2001
Identification cards. Thin flexible cards – Physical characteristics Published By Publication Date Number of Pages…
-
BS EN ISO 15537:2022
Principles for selecting and using test persons for testing anthropometric aspects of industrial products and…
-
BS ISO/IEC 15438:2015
Information technology. Automatic identification and data capture techniques. PDF417 bar code symbology specification Published By…
-
AS/NZS ISO/IEC 15437:2003 (R2014)
Information technology – Open distributed processing – Enhancements to LOTOS (E-LOTOS) Published By Publication Date…
-
BS ISO/IEC 15434:1999:2000 Edition
Information technology. Transfer syntax for high capacity ADC media Published By Publication Date Number of…
-
BS ISO/IEC 15434:2005:2006 Edition
Information technology. Syntax for high-capacity automatic data capture (ADC) media Published By Publication Date Number…
-
BS ISO/IEC 15434:2006
Information technology. Automatic identification and data capture techniques. Syntax for high-capacity ADC media Published By…
-
BS EN 15407:2011
Solid recovered fuels. Methods for the determination of carbon (C), hydrogen (H) and nitrogen (N)…
-
BS EN ISO 15438:2003
Information technology. Automatic identification and data capture techniques. Bar code symbology specifications. PDF417 Published By…
-
BS ISO 15037-2:2002:2003 Edition
Road vehicles. Vehicle dynamics test methods – General conditions for heavy vehicles and buses Published…
-
CAN/CSA-ISO/IEC 15438:16:2016 Edition
Information technology – Automatic identification and data capture techniques – PDF417 bar code symbology specification…
-
BS ISO/IEC 15457-1:2008
Identification cards. Thin flexible cards – Physical characteristics Published By Publication Date Number of Pages…
-
ISO/IEC 15438:2006
Information technology — Automatic identification and data capture techniques — PDF417 bar code symbology specification…
-
ISO/IEC 24728:2006
Information technology — Automatic identification and data capture techniques — MicroPDF417 bar code symbology specification…
-
BS ISO/IEC 15417:2000:2003 Edition
Information technology. Automatic identification and data capture techniques. Bar code symbology specification. Code 128 Published…
-
BS EN ISO 21535:2007:2008 Edition
Non-active surgical implants. Joint replacement implants. Specific requirements for hip-joint replacement implants Published By Publication…
-
BS ISO/IEC 15457-2:2001
Identification cards. Thin flexible cards – Magnetic recording techniques Published By Publication Date Number of…
-
BS ISO/IEC 15457-3:2008
Identification cards. Thin flexible cards – Test methods Published By Publication Date Number of Pages…
-
BS ISO/IEC 15437:2001
Information technology. Enhancements to LOTOS (E-LOTOS) Published By Publication Date Number of Pages BSI 2001…
-
BS ISO/IEC 15457-2:2007
Identification cards. Thin flexible cards – Magnetic recording technique Published By Publication Date Number of…
-
BS EN ISO 15487:2010
Textiles. Method for assessing appearance of apparel and other textile end products after domestic washing…
-
BS ISO 18437-3:2005+A1:2010
Mechanical vibration and shock. Characterization of the dynamic mechanical properties of visco-elastic materials – Cantilever…
-
ISO/IEC 15457-3:2008
Identification cards — Thin flexible cards — Part 3: Test methods Published By Publication Date…
-
ISO/IEC 15434:2006
Information technology — Automatic identification and data capture techniques — Syntax for high-capacity ADC media…
-
ISO/IEC 8484:2007
Information technology — Magnetic stripes on savingsbooks Published By Publication Date Number of Pages ISO…
-
CSA ISO/IEC 15434:20:2020 Edition
Information technology – Automatic identification and data capture techniques – Syntax for high-capacity ADC media…
-
CSA ISO/IEC 15457-1:09 (R2019):2009 Edition
Identification cards – Thin flexible cards – Part 1: Physical characteristics Published By Publication Date…
-
BS EN ISO 15537:2004
Principles for selecting and using test persons for testing anthropometric aspects of industrial products and…
-
BS EN ISO/IEC 15438:2010
Information technology. Automatic identification and data capture techniques. PDF417 bar code symbology specification Published By…
-
BS ISO 18437-2:2005+A1:2010:2011 Edition
Mechanical vibration and shock. Characterization of the dynamic mechanical properties of visco-elastic materials – Resonance…
-
CSA ISO/IEC 15457-3:09 (R2019):2009 Edition
Identification cards – Thin flexible cards – Part 3: Test methods Published By Publication Date…
-
BS ISO/IEC 15417:2007
Information technology. Automatic identification and data capture techniques. Code 128 bar code symbology specification Published…
-
BS ISO 15037-1:2006
Road vehicles. Vehicle dynamics test methods – General conditions for passenger cars Published By Publication…
