The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
The authors report on the software validation process for SACEM, a partly embedded system (hard and soft) which continuously controls the speed of all trains on the RER Line A in Paris. Modern techniques have been used for validation, including formal specification, assertions, and formal proofs. About 100 man-years have been spent in validating the software. The authors conclude that a safe system has been realized and that all the formal work was useful, essentially to make the specifications more precise.>
How it got here
How it got here
agent via openalex
Added
2026-10-23 21:26 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{guiho2002sacem,
title = {SACEM software validation},
author = {G. Guiho and C. Hennebert},
year = {2002},
journal = {Proceedings/Proceedings - International Conference on Software Engineering},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {186--191},
doi = {10.1109/icse.1990.63621},
}