Model-Driven Construction of Certified Binaries
Autor: | Sagar Chaki, James Ivers, Peter Lee, Kurt Wallnau, Noam Zeilberger |
---|---|
Rok vydání: | 2007 |
Zdroj: | Model Driven Engineering Languages and Systems ISBN: 9783540752080 |
DOI: | 10.1007/978-3-540-75209-7_45 |
Databáze: | OpenAIRE |
Externí odkaz: |