Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Zoltán Mics"'
Autor:
Dávid Honfi, Zoltán Micskei
Publikováno v:
Data in Brief, Vol 31, Iss , Pp 105962- (2020)
The paper presents a dataset on software tests generated using the Microsoft Pex (IntelliTest) test generator tool for 10 open source projects. The projects were selected randomly from popular GitHub repositories written in C#. The selected projects
Externí odkaz:
https://doaj.org/article/350aab7c98504cafa8ec2bd57b570bd0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 253, Iss Proc. VPT 2017, Pp 75-91 (2017)
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the mode
Externí odkaz:
https://doaj.org/article/539744772e3e4039a519960ce000d531
Autor:
Heejae Kim, Johannes Hunger, Enrique Cánovas, Melike Karakus, Zoltán Mics, Maksim Grechko, Dmitry Turchinovich, Sapun H. Parekh, Mischa Bonn
Publikováno v:
Nature Communications, Vol 8, Iss 1, Pp 1-9 (2017)
Methylammonium lead iodide perovskite, a promising material for efficient photovoltaics, shows a unique temperature dependence of its optical properties. Kim et al. quantify the coupling between the optical gap and a lattice phonon at 1 THz, which fa
Externí odkaz:
https://doaj.org/article/f964e7c1d0934ab3ba9a9484ddbb77f8
Publikováno v:
Europhysics Letters; Sep2015, Vol. 111 Issue 6, p1-1, 1p