TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
More than 125 records were found in 0.516 seconds
Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31 - April 2, 2008, Dortmund, Germany
ISBN: 978-3-8007-3090-2, 2008
A queueing-network approach for modeling control nets in building automation
MMB, 317-334, 2006
OPEDo: A tool for optimization and performance evaluation of stochastic models
MMB, 457-460, 2006
MMB & PGTS 2004, 12th GI/ITG Conference on Measuring and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15, 2004, Dresden, Germany
ISBN: 3-8007-2851-6, 2004
The ProC/B-Approach from informal descriptions to formal models
ISoLA (Preliminary proceedings), 328-334, 2004
Weak Bisimulation for (max/+) Automata and Related Models
Journal of Automata, Languages and Combinatorics, 8(2):187-218, 2003
Numerical Analysis and Optimisation of Class Based Queueing
ESM, 543-547, 2002
An iterative bounding method for stochastic automata networks
Perform. Eval., 49(1/4):211-226, 2002
A Numerical Analysis of a Communication System with Advanced Reservations
MMB, 119-134, 2001
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets
MMB, 87-101, 1997