( en | de | ru )

 

Disambiguierung von "Hermanns, Holger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing neural network behavior through deep statistical model checking.

, , , , und . Int. J. Softw. Tools Technol. Transf., 25 (3): 407-426 (Juni 2023)

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.

Holger Hermanns

Holger Hermanns

Holger Hermanns

Walter Hermanns

Artur Hermanns

 

Weitere Publikationen von Autoren mit dem selben Namen

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 59-81. Springer, (2001)Deep Statistical Model Checking., , , , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2020)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , und . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (Oktober 2023)Teaching Concurrency Concepts to Freshmen., und . Trans. Petri Nets Other Model. Concurr., (2008)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)Energieinformatik im erdnahen Orbit.. GI-Jahrestagung, Volume P-246 von LNI, Seite 41. GI, (2015)Quantification of Battery Depletion Risk Made Efficient., und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 156-174. Springer, (2022)(TACAS21 Artifact) Momba: JANI Meets Python., , und . (März 2021)OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust., , , und . (2024)Doping Tests for Cyber-Physical Systems., , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 313-331. Springer, (2019)