Telecharger Cours

Verification of Structural and Extra-Functional Properties in ...

component and connector (C&C) models to describe logical architectures, are one common approach to handle the large complexity of embedded and cyber-physical ...



Download