Tom Gross, Anna-Lena Müller. A Formal Model of Availability to Reduce Cross-Domain Interruptions. In Tareq Z. Ahram, Redha Taiar, editors, Human Interaction, Emerging Technologies and Future Systems V - Proceedings of the 5th International Virtual Conference on Human Interaction and Emerging Technologies, IHIET 2021, August 27-29, 2021 and the 6th IHIET: Future Systems (IHIET-FS 2021), October 28-30, 2021, Paris, France. Volume 319 of Lecture Notes in Networks and Systems, pages 20-27, Springer, 2021. [doi]
Abstract is missing.