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

• Autoři: HASHEMI Vahid; KŘETÍNSKÝ Jan; RIEDER Sabine; SCHÖN Torsten; VORHOFF Jan
• Rok publikování: 2024
• Druh: Článek ve sborníku
• Konference: International Conference on Runtime Verification
• www: https://doi.org/10.1007/978-3-031-74234-7_14
• Doi: http://dx.doi.org/10.1007/978-3-031-74234-7_14

Související projekty

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