Cited By
View all- Köhl MHermanns H(2023)Model-Based Diagnosis of Real-Time Systems: Robustness Against Varying Latency, Clock Drift, and Out-of-Order ObservationsACM Transactions on Embedded Computing Systems10.1145/359720922:4(1-48)Online publication date: 26-Jul-2023
- Lassaigne Rde Rougemont M(2023)Testing membership for timed automataActa Informatica10.1007/s00236-023-00442-860:4(361-384)Online publication date: 1-Dec-2023
- Grosen TKauffman SLarsen KZimmermann M(2022)Monitoring Timed Properties (Revisited)Formal Modeling and Analysis of Timed Systems10.1007/978-3-031-15839-1_3(43-62)Online publication date: 12-Sep-2022
- Show More Cited By