AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christof Fetzer, Ute Schiffel, Martin SÃ¼ÃŸkraut. AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. In Bettina Buth, Gerd Rabe, Till Seyfarth, editors, Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Volume 5775 of Lecture Notes in Computer Science, pages 283-296, Springer, 2009. [doi]

This author has not been identified. Look up 'Christof Fetzer' in GoogleThis author has not been identified. Look up 'Ute Schiffel' in GoogleThis author has not been identified. Look up 'Martin SÃ¼ÃŸkraut' in Google

runs on WebDSL