Probabilistically Analysable Real-Time Systems

PROARTIS: Probabilistically Analysable Real-Time Systems

Publication Type:

Journal Article

Source:

ACM Transactions on Embedded Computing Systems - Special section on Probabilistic Embedded Computing (2013)

Abstract:



Notes:


Full Text: