Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Dataset Construction from Web Resources with Tool Kayur., , und . Int. J. Netw. Comput., 7 (2): 271-294 (2017)Run-Time Verification of Networked Software.. RV, Volume 6418 von Lecture Notes in Computer Science, Seite 59-73. Springer, (2010)Introduction of Virtualization Technology to Multi-Process Model Checking., , , , und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 106-110. (2009)Guiding random test generation with program analysis., , , , , und . Software Engineering, Volume P-252 von LNI, Seite 15-16. GI, (2016)