Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

Julio L. Medina, Alvaro Garcia Cuesta. Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. In Alexander Romanovsky, Tullio Vardanega, editors, Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Volume 6652 of Lecture Notes in Computer Science, pages 89-102, Springer, 2011. [doi]

Abstract

Abstract is missing.