Require, Test and Trace IT

B. K. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, and S. Tiran

Abstract:

Reference: B. K. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic, and S. Tiran. Require, test and trace it. In FMICS'15, volume 9128 of Lecture Notes in Computer Science, pages 113-127. Springer, 2015. In press.