Back to Results
First PageMeta Content
Safety / Software engineering / B-Method / Software development process / IEC 61508 / Model checking / Software / Formal methods / Software development / Science


Safe and Reliable Metro Platform Screen Doors Control/Command Systems a 3-year story Thierry Lecomte
Add to Reading List

Document Date: 2008-06-04 08:54:23


Open Document

File Size: 1,32 MB

Share Result on Facebook

City

Paris / /

Company

Metro Platform Screen Doors Control/Command Systems / /

IndustryTerm

software safety level / software parts / /

OperatingSystem

Aix / /

Organization

Project Development Cycle Validation Specification Architectural Design Detailed Design Integration Unit / /

Person

Thierry Lecomte / /

Position

project manager / /

URL

http /

SocialTag