...
Björn Döbel, Hermann Härtig, Can We Put Concurrency Back Into Redundant Multithreading?, EMSOFT 2014
[vergeben] J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, Towards verified programming of embedded devices, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy, 2019, pp. 1445-1450.
...