Browsing Computer Science Publications by Subject "temporal synthesis"
Now showing items 1-1 of 1
(2014)Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. ...