Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.

Visible to the public  VECoS 2019
Oct 07, 2019 7:00 am - Oct 09, 2019 6:00 pm WEST

International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)

co-located with the International Symposium on Formal Methods, FM 2019.


Visible to the public  RSSRail 2019
Jun 04, 2019 7:00 am - Jun 06, 2019 7:00 pm CEST

International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)

The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation.