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]
@inproceedings{GrossM21-0,
title = {A Formal Model of Availability to Reduce Cross-Domain Interruptions},
author = {Tom Gross and Anna-Lena Müller},
year = {2021},
doi = {10.1007/978-3-030-85540-6_3},
url = {https://doi.org/10.1007/978-3-030-85540-6_3},
researchr = {https://researchr.org/publication/GrossM21-0},
cites = {0},
citedby = {0},
pages = {20-27},
booktitle = {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},
editor = {Tareq Z. Ahram and Redha Taiar},
volume = {319},
series = {Lecture Notes in Networks and Systems},
publisher = {Springer},
isbn = {978-3-030-85540-6},
}