
		Lehrstuhl für Informatik 4



		Pubs Publications TechnicalReports Dissertations DA SA

	Department Informatik > Informatik 4 > Pubs

Veröffentlichungen von Barner, Jörg

2004

Wüchner, Patrick ; Al-Begain, Khalid ; Barner, Jörg ; Bolch, Gunter :
Modelling A Single Gsm/Gprs Cell With Delay Tolerant Voice Calls Using Mosel-2.

2003

Barner, Jörg :
Performance and reliability modelling with MOSEL-2.

Barner, Jörg ; Bolch, Gunter :
MOSEL-2: Modeling, Specification and Evaluation Language, Revision 2.

Barner, Jörg ; Bolch, Gunter :
MOSEL- MOdelling, Specification and Evaluation Language.

Al-Begain, Khalid ; Barner, Jörg ; Bolch, Gunter ; Zreikat, Aymen :
The Performance and Reliability Modelling Language MOSEL and its Application.

2002

Barner, Jörg ; Bolch, Gunter :
Performance Modeling of Retrial Systems using the MOSEL Language.

Al-Begain, Khalid ; Barner, Jörg ; Bolch, Gunter ; Zreikat, Aymen :
The Performance andReliability Modelling Language MOSEL and its Applications.

2001

Barner, Jörg ; Begain, Khalid ; Bolch, Gunter ; Herold, Helmut :
MOSEL - Modeling, Specification and Evaluation Language.

Dissertation

Barner, Jörg :
A Lightweight Formal Method for the Prediction of Non-Functional System Properties.