Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel

Jean-Philippe Babau. Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel. 2005. [doi]

Abstract

Abstract is missing.