![](/img/cover-not-exists.png)
[IEEE 2015 IEEE International Conference on Industrial Technology (ICIT) - Seville (2015.3.17-2015.3.19)] 2015 IEEE International Conference on Industrial Technology (ICIT) - Logic synthesis of assertions for saftey-critical applications
Wenzl, Matthias, Fibich, Christian, Rossler, Peter, Taucher, Herbert, Matschnig, MartinYear:
2015
Language:
english
DOI:
10.1109/icit.2015.7125322
File:
PDF, 255 KB
english, 2015