Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science;D Beaver,1992
2. Beaver, D.: Applied awareness: test-driven GUI development using computer vision and cryptography. Arxiv 2006.03725 (2020)
3. Bures, M., Macik, M., Ahmed, B.S., Rechtberger, V., Slavik, P.: Testing the usability and accessibility of smart tv applications using an automated model-based approach. IEEE Trans. Consum. Electron. 66(2), 134–143 (2020)
4. Lecture Notes in Computer Science;B Boer,1991
5. Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. In: Symposium on Foundations of Computer Science, FOCS 2001, pp. 136–145. IEEE Computer Society (2001)