Probabilistically Analysable Real-Time Systems

PROARTIS: Probabilistically Analysable Real-Time Systems

Publication Type:

Conference Paper

Source:

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

URL:

http://dx.doi.org/10.1145/2465787.2465796