Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

• Authors: HASHEMI Vahid; KŘETÍNSKÝ Jan; RIEDER Sabine; SCHÖN Torsten; VORHOFF Jan
• Year of publication: 2024
• Type: Article in Proceedings
• Conference: International Conference on Runtime Verification
• Web: https://doi.org/10.1007/978-3-031-74234-7_14
• Doi: http://dx.doi.org/10.1007/978-3-031-74234-7_14

Related projects

• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23
• Modelování, analýza a verifikace (2023)