Browsing by author "Zhang, D."
Now showing items 1-2 of 2
-
Bifacial Four-Terminal Perovskite/Silicon Tandem Solar Cells and Modules
Coletti, G.; Luxembourg, S. L.; Geerligs, L. J.; Rosca, V.; Burgers, A. R.; Wu, Y.; Okel, L.; Kloos, M.; Danzl, F. J. K.; Najafi, M.; Zhang, D.; Dogan, I.; Zardetto, V.; Di Giacomo, F.; Kroon, J.; Hupkes, J.; Burgess, C. H.; Creatore, M.; Andriessen, R.; Veenstra, S.; Aernouts, Tom (2020) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Zhang, D.; Bonacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton (2017)