Probabilistically Analysable Real-Time Systems

Logos

Download Color Logos

(eps, jpg, png)

Download Black & White Logos:

(eps, jpg, png)

Press Releases

Tue, 2013-10-22

El BSC concluye con éxito un proyecto para mejorar la seguridad de coches, aviones, trenes y vehículos espaciales

Tue, 2011-06-21

Probabilistic analysis takes critical real-time safety certification and verification to new level, says EU project

application/pdf icon

PROARTIS Press Release 1 - Technical

image/x-ms-bmp icon

PROARTIS Cockpit Photo 1

Mon, 2010-06-21

European research project promotes increased performance and reliability in the avionics industry

application/pdf icon

PROARTIS Press Release 2 - General

image/x-ms-bmp icon

PROARTIS Cockpit Photo 1

application/pdf icon

PROARTIS Press Release 2 - General (Spanish)

application/pdf icon

PROARTIS Press Release 2 - General (French)

Mon, 2010-06-21

New research could herald revolution in flight systems

application/pdf icon

PROARTIS Press Release 3 - Wide

image/x-ms-bmp icon

PROARTIS Cockpit Photo 1

PROARTIS Factsheet

application/pdf icon

PROARTIS FactSheet.pdf