A Case Study in Formal Development of a Fault Tolerant Multi-robotic System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. In Paris Avgeriou, editor, Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Volume 7527 of Lecture Notes in Computer Science, pages 16-31, Springer, 2012. [doi]

This author has not been identified. Look up 'Inna Pereverzeva' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in GoogleThis author has not been identified. Look up 'Linas Laibinis' in Google

runs on WebDSL