157
click to vote
FOSSACS
2012
Springer
14 years 23 days ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...