A Formal Approach to Heuristically Test Restorable Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pablo Rabanal, Ismael RodrÃguez, Fernando Rubio. A Formal Approach to Heuristically Test Restorable Systems. In Martin Leucker, Carroll Morgan, editors, Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Volume 5684 of Lecture Notes in Computer Science, pages 292-306, Springer, 2009. [doi]

This author has not been identified. Look up 'Pablo Rabanal' in GoogleThis author has not been identified. Look up 'Ismael RodrÃguez' in GoogleThis author has not been identified. Look up 'Fernando Rubio' in Google

runs on WebDSL