Nicola Thoben

Kontakt

Nicola Thoben

Ulhornsweg 84 - Raum A02 3-339

Sekretariat

Marion Bramkamp

Ulhornsweg 84 - Raum A2 2-228

+49 441 798-2426

Nicola Thoben

Forschungsinteressen:

Softwareverifikation, speziell

Veröffentlichungen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    N. Thoben, J. Haltermann, und H. Wehrheim, "Timeout Prediction for Software Analyses" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_19
(Stand: 12.07.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page