Fingerprint
Dive into the research topics where Daniel Thoma is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., 06.02.2019, In: International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.Research output: Journal Articles › Journal articles › Research › peer-review
54 Link opens in a new tab Citations (Scopus)