Formal Data Validation Tutorial at ABZ 2014, Toulouse Computer science, Exhibitions/conferences, Railway, Tools

Data Validation & Reverse Engineering Computer science, Railway

ProB: a model-checker for data validation Railway, Tools

PredicateB: a predicate animator Tools

Data validation in the Railways Railway, Tools

Introduction to data validation Railway, Safety, Uncategorized

Line 1, a new revolution in Paris Railway

With 725 000 passengers daily and 111 years of existence, the most famous metro line of Paris, the first one […]

The modernization of the oldest Parisian Metro line. Metro (CBTC), Railway

One of the oldest metro of the world, the mythic Parisian first line is now equipped with Platform Screen Doors […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Contact-us

Filter posts