20 citations · 76 across the 16 of their papers we have counts for
1 paper · 2 filters
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…