Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
Jonas
Stübbe
Aktuelle Zugehörigkeiten
Professur für Praktische Informatik (Prof. Remke)
Publikationen
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne
(2024)
In:
Kalyvianaki, Evangelia; Paolieri, Marco
(Hrsg.),
Performance Evaluation Methodologies and Tools
.
Cham:
Springer
.
Forschungsartikel in Sammelband (Konferenz)