Engineering Approaches and Methods to Verify Software in Autonomous Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giuseppe Cicala, A. Khalili, Giorgio Metta, Lorenzo Natale, S. Pathak, Luca Pulina, Armando Tacchella. Engineering Approaches and Methods to Verify Software in Autonomous Systems. In Emanuele Menegatti, Nathan Michael, Karsten Berns, Hiroaki Yamaguchi, editors, Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014. Volume 302 of Advances in Intelligent Systems and Computing, pages 1683-1700, Springer, 2014. [doi]

This author has not been identified. Look up 'Giuseppe Cicala' in GoogleThis author has not been identified. Look up 'A. Khalili' in GoogleThis author has not been identified. Look up 'Giorgio Metta' in GoogleThis author has not been identified. Look up 'Lorenzo Natale' in GoogleThis author has not been identified. Look up 'S. Pathak' in GoogleThis author has not been identified. Look up 'Luca Pulina' in GoogleThis author has not been identified. Look up 'Armando Tacchella' in Google

runs on WebDSL