Reusable formal models for concurrency and communication in custom real-time operating systems

Julius Adelt, Julian Gebker, Paula Herber. Reusable formal models for concurrency and communication in custom real-time operating systems. STTT, 26(2):229-245, April 2024. [doi]

Abstract

Abstract is missing.