Timed Automata Relaxation for Reachability

• Autoři: BENDÍK Jaroslav; SENCAN Ahmet; AYDIN GOL Ebru; ČERNÁ Ivana
• Rok publikování: 2021
• Druh: Článek ve sborníku
• Konference: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21)
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur