Model-Driven Construction of Certified Binaries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger. Model-Driven Construction of Certified Binaries. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil, editors, Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Volume 4735 of Lecture Notes in Computer Science, pages 666-681, Springer, 2007. [doi]

This author has not been identified. Look up 'Sagar Chaki' in GoogleThis author has not been identified. Look up 'James Ivers' in GoogleThis author has not been identified. Look up 'Peter Lee' in GoogleThis author has not been identified. Look up 'Kurt C. Wallnau' in GoogleThis author has not been identified. Look up 'Noam Zeilberger' in Google

runs on WebDSL