Incremental Component-Based Construction and Verification of a Robotic System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis. Incremental Component-Based Construction and Verification of a Robotic System. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, editors, ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Volume 178 of Frontiers in Artificial Intelligence and Applications, pages 631-635, IOS Press, 2008. [doi]

This author has not been identified. Look up 'Ananda Basu' in GoogleThis author has not been identified. Look up 'Matthieu Gallien' in GoogleThis author has not been identified. Look up 'Charles Lesire' in GoogleThis author has not been identified. Look up 'Thanh-Hung Nguyen' in GoogleThis author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Félix Ingrand' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in Google

runs on WebDSL