Publication | Closed Access

Synthesis of Hard Real-Time Application Specific Systems