27 citations · 152 across the 31 of their papers we have counts for
1 paper · 1 filter
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to res…