108
click to vote
FORTE
2003
15 years 4 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...