A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar. A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. In François Charot, Frank Hannig, Jürgen Teich, Christophe Wolinski, editors, 21st IEEE International Conference on Application-specific Systems Architectures and Processors, ASAP 2010, Rennes, France, 7-9 July 2010. pages 99-106, IEEE, 2010. [doi]

This author has not been identified. Look up 'Heng Kuang' in GoogleThis author has not been identified. Look up 'Olga Ormandjieva' in GoogleThis author has not been identified. Look up 'Stan Klasa' in GoogleThis author has not been identified. Look up 'Jamal Bentahar' in Google

runs on WebDSL