![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT) - Kyiv, Ukraine (2018.5.24-2018.5.27)] 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT) - Logic differential calculus in time-dependent analysis of a pair of system components
Rusnak, Patrik, Kvassay, Miroslav, Forgac, Andrej, Zaitseva, ElenaYear:
2018
Language:
english
DOI:
10.1109/DESSERT.2018.8409174
File:
PDF, 1.35 MB
english, 2018