31 search results - page 7 / 7 » The Force Model: Concept, Behavior, Interpretation |
TACAS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...