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