The OPARA service was recently upgraded to a new technical platform. You are visiting the outdated OPARA website. Please use https://opara.zih.tu-dresden.de/ for new data submissions. Previously stored data will be migrated in near future and then the old version of OPARA will finally be shut down. Existing DOIs for data publications remain valid.
Auflistung Bereich Ingenieurwissenschaften nach Titel
Anzeige der Treffer 21-22 von 22
-
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis: 1) implementation of methods for conditional probabilities and expectations, 2) ... -
Videodateien
(Technische Universität Dresden, 2018)