Towards Automatic Design and Verification for Level 3 of the European Train Control System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda. Towards Automatic Design and Verification for Level 3 of the European Train Control System. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021. pages 974-979, IEEE, 2021. [doi]

This author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Tom Peham' in GoogleThis author has not been identified. Look up 'Judith Przigoda' in GoogleThis author has not been identified. Look up 'Nils Przigoda' in Google

runs on WebDSL