TraceVis: Towards Visualization for Deep Statistical Model Checking
T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, und M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, Seite 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
DOI: 10.1007/978-3-030-83723-5_3
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.
Keine Personen gefunden für den Autorennamen Hoffmann, Jörg
Sie können eine neue Person mit dem Namen "Hoffmann, Jörg" hinzufügen, oder Sie können "Hoffmann, Jörg" mit einem anderen Personeneintrag verknüpfen (zum Beispiel ein früherer Name oder ein Pseudonym der Person).
Helfen Sie Ihrer Community mit Ihrer Entscheidung.
Ihre Entscheidung über die Person, die mit der Publikation assoziiert werden soll, kann in unserem System gespeichert werden, sodass andere Benutzer diese Entscheidung nicht erneut treffen müssen. Möchten Sie Ihre Entscheidung speichern?
Disambiguierung
Die Disambiguierung ist Teil des PUMA Genealogie Projekts und dient dazu Publikationen einer Person zuzuordnen. Sie sehen die Referenz-Publikation des Autoren "Hoffmann, Jörg", eine Liste von bereits bestehenden Personen mit dem selben Namen, und falls vorhanden, weitere den Personen bereits zugeordnete Publikationen. Nun besteht die Option diese Publikation einer bereits bestehenden Person zuzuordnen oder eine neue Person anzulegen.
