Filters
€
-€
-
In totaal 16 titels
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Christian Krause
Proceedings 2011 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Christoph MeinelScalable compatibility for embedded real-time components via language progressive timed automata
Stefan NeumannEfficient algorithms for the computation of optimal quadrature points on Riemannian manifolds
Manuel GrafProceedings of the ... Ph. D. retreat of the HPI Research School on Service-Oriented Systems Engineering
AuteurscollectiefProceedings of the ... Ph. D. retreat of the HPI Research School on Service-Oriented Systems Engineering
Auteurscollectief