-
MS
-
Professorship
-
Team
-
Employees
Dr. Falko Bause
Dekker New York, Vol 17 (1), pp. 39-60, 2001. ( abstract ) Bause, F.; Beilner, H.; Völker, M. A framework for the modelling and simulation of logistic networks 4th International Eurosim Congress (EUROSIM [...] - 19, 2004, Kufstein, Austria. ( abstract ) Bause, F.; Buchholz, P.; Tepper, C. The ProC/B-approach: From Informal Descriptions to Formal Models ISoLA - 1st International Symposium on Leveraging Applications [...] ted Architectures. SPEC International Performance Evaluation Workshop 2008, SIPEW 2008, June 27-28, Darmstadt, Germany, LLNCS 5119, Springer, 2008. ( Abstract at Springer ) , ( slides ) Bause, F.; Kriege …