Probabilistically Analysable Real-Time Systems

PROARTIS Factsheet

This fact sheet sets out the key principles behind the PROARTIS project.