The QUEST-Approach for the Performance Evaluation of SDL-Systems-Reference-Cited by-同舟云学术

The QUEST-Approach for the Performance Evaluation of SDL-Systems

Published:1996 Issue: Volume: Page:229-244
ISSN:1868-4238
Container-title:Formal Description Techniques IX
language:
Short-container-title:

Author:

Diefenbruch Marc,Hintelmann Jörg,Müller-Clostermann Bruno

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35079-0_14

Reference30 articles.

1. Bause, F. and Buchholz, P. (1991) Protocol Analysis Using a Timed Version of SDL. 3rd Int. Conf on Formal Description Techniques (FORTE’90), Madrid ( Spain ), North-Holland.

2. Pause, F.; Buchholz, P. and Kemper P. (1995) QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets. in Bause, F. and Beilner, H. (1995).

3. Luse, F.; Kabutz, H.; Kemper, P. and Kritzinger, P. (1995) SDL and Petri net performance analysis of communicating systems, 15th International Symposium on Protocol Specification, Testing and Verification.

4. Bause, F. and Beilner, H. (eds.) (1995). Quantitative Evaluation of Computing and Communication Systems, Proc. of Performance Tools ‘95 and 8th GI/NTG Conference MMB’95, Lecture Notes in Computer Science, Springer.

5. Beilner, H.; Mäter, J. and Weißenberg, N. (1988). Towards a Performance Modelling Environment: News on HIT. 4th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimizing Performance of SDL Systems;System Analysis and Modeling. Technology-Specific Aspects of Models;2016

2. Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts;Formal Techniques for Networked and Distributed Systems - FORTE 2003;2003

3. Applying techniques and tools for the performance engineering of SDL systems;Computer Networks;2001-05

4. Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems;Lecture Notes in Computer Science;2001

5. Development of complex communications protocols using Estelle;Annales Des Télécommunications;2000-01