Probabilistically Analysable Real-Time Systems

PROARTIS: Probabilistically Analysable Real-Time Systems

Publication Type:

Journal Article

Source:

ACM Transactions on Embedded Computing Systems (2012)
AttachmentSize
ACM.pdf1004.36 KB