Timed Automata Robustness Analysis via Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná. Timed Automata Robustness Analysis via Model Checking. Logical Methods in Computer Science, 18(3), 2022. [doi]

This author has not been identified. Look up 'Jaroslav Bendík' in GoogleThis author has not been identified. Look up 'Ahmet Sencan' in GoogleThis author has not been identified. Look up 'Ebru Aydin Gol' in GoogleThis author has not been identified. Look up 'Ivana Cerná' in Google

runs on WebDSL