![](/img/cover-not-exists.png)
[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - A Symbolic System Synthesis Approach for Hard Real-Time Systems Based on Coordinated SMT-Solving
Biewer, Alexander, Andres, Benjamin, Gladigau, Jens, Schaub, Torsten, Haubelt, ChristianYear:
2015
Language:
english
DOI:
10.7873/DATE.2015.0606
File:
PDF, 143 KB
english, 2015