1. Information technology. Open systems interconnection. Estelle: a formal description technique based on an extended state transition model. (15th April 1998) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (252 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Information technology. Open systems interconnection. LOTOS description of the session service. (31st October 1990) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (60 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Information technology. Open systems interconnection. LOTOS description of the session protocol. (30th November 1990) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (94 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Programming languages. Guidance to avoiding vulnerabilities in programming languages. C Part 3, (26th May 2020) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (54 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Validation of EXPRESS models. (15th September 1996) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (30 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Printed boards and printed board assemblies. Design and use. Electronic component zero orientation for CAD library construction Part 7, (28th September 2017) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (28 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour. (31st December 1990) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (126 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Information technology. Open systems interconnection. Guidelines for the application of Estelle, LOTOS and SDL. (31st January 1992) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (220 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Industrial automation systems and integration. Product data representation and exchange. Description methods: The EXPRESS language reference manual Part 11, (20th March 2023) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (272 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Industrial automation systems and integration. Product data representation and exchange. Description methods: The EXPRESS-X language reference manual Part 14, (11th April 2023) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (94 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗