Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Canonico, Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini. Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 308-320, Springer, 2022. [doi]

This author has not been identified. Look up 'Roberto Canonico' in GoogleThis author has not been identified. Look up 'Francesco Flammini' in GoogleThis author has not been identified. Look up 'Stefano Marrone 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Roberto Nardone

Look up 'Roberto Nardone' in GoogleThis author has not been identified. Look up 'Valeria Vittorini' in Google

runs on WebDSL