Krishnendu Ghosh. Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 23-24, IEEE, 2012. [doi]
Abstract is missing.