Case Study Lyon Metro – the implementation of a safety-related system under ENfor their driverless trains In a nutshell: - Transport in Lyon - Document - PDFSEARCH.IO

First Page	Meta Content
	Case Study Lyon Metro – the implementation of a safety-related system under ENfor their driverless trains In a nutshell: Add to Reading List Document Date: 2015-05-22 08:33:23 Open Document File Size: 3,47 MB Share Result on Facebook City Lyon / / Company PROGRAMMING RESEARCH VIVERIS TECHNOLOGIES / VIVERIS TECHNOLOGIES / The Future VIVERIS TECHNOLOGIES / Programming Research Ltd / / Country United Kingdom / United States / India / Ireland / / / IndustryTerm standards enforcement technology / software veriﬁcation tool / software inspection / public transport systems / distribution network / / Position auditor / QA·C Technical Manager / local sales representative / / ProgrammingLanguage C / C++ / / Technology Simulation / standards enforcement technology / / URL www.programmingresearch.com / http / SocialTag Rail transport in France C programming language MISRA C Motor Industry Software Reliability Association Lyon Metro C KeY Lyon Computing Software engineering

Case Study Lyon Metro – the implementation of a safety-related system under ENfor their driverless trains In a nutshell:Add to Reading List