[IEEE 2010 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) - Rennes, France (2010.07.7-2010.07.9)] ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors - A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework

✍ Scribed by Kuang, Heng; Ormandjieva, Olga; Klasa, Stan; Bentahar, Jamal

• Book ID: 111689896
• Publisher: IEEE
• Year: 2010
• Weight: 278 KB
• Volume: 0
• Category: Article
• ISBN: 142446966X
• DOI: 10.1109/asap.2010.5540769