Search this site:
Probabilistically Analysable Real-Time Systems
Home
Partners
Industrial Advisors
Publications
Press Center
Deliverables
Contact
Home
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
PROARTIS Press Release 1 - Technical
PROARTIS Cockpit Photo 1
Mon, 2010-06-21
European research project promotes increased performance and reliability in the avionics industry
PROARTIS Press Release 2 - General
PROARTIS Cockpit Photo 1
PROARTIS Press Release 2 - General (Spanish)
PROARTIS Press Release 2 - General (French)
Mon, 2010-06-21
New research could herald revolution in flight systems
PROARTIS Press Release 3 - Wide
PROARTIS Cockpit Photo 1
PROARTIS Factsheet
PROARTIS FactSheet.pdf
Login
News
PROARTIS final review
Thu, 2013-09-26
PROARTIS paper selected for publication
Mon, 2013-09-16
PROARTIS paper accepted by RTSS
Mon, 2013-07-29
EMSOFT paper accepted
Wed, 2013-07-10
PROARTIS Industrial Workshop (July 3rd 2013)
Wed, 2013-07-10
PROARTIS ACM TECS paper published
Fri, 2013-06-07
PROARTIS double paper success at WCET 2013
Mon, 2013-06-03
PROARTIS paper accepted for INDIN conference
Fri, 2013-05-24
1 of 5
››