Alan Burns 0001, Sanjoy K. Baruah. Multi-Model Specifications and their Application to Classification Systems. In Proceedings of the 31st International Conference on Real-Time Networks and Systems, RTNS 2023, Dortmund, Germany, June 7-8, 2023. pages 155-165, ACM, 2023. [doi]
Abstract is missing.