Intents and Upgrades in Component-Based High-Assurance Systems

Jonas Elmqvist, Simin Nadjm-Tehrani. Intents and Upgrades in Component-Based High-Assurance Systems. In Sami Beydeda, Matthias Book, Volker Gruhn, editors, Model-Driven Software Development. pages 289-303, Springer, 2005. [doi]

Abstract

Abstract is missing.