Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites)

Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites). 2011. [doi]

Abstract

Abstract is missing.