Symbolic State Space Exploration of RT Systems in the Cloud - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga. Symbolic State Space Exploration of RT Systems in the Cloud. In 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012. pages 295-302, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Carlo Bellettini' in GoogleThis author has not been identified. Look up 'Matteo Camilli' in GoogleThis author has not been identified. Look up 'Lorenzo Capra' in GoogleThis author has not been identified. Look up 'Mattia Monga' in Google

runs on WebDSL