Author:
Mitschele-Thiel Andreas,Müller-Clostermann Bruno
Subject
Computer Networks and Communications
Reference45 articles.
1. F. Bause, P. Buchholz, Protocol analysis using a timed version of SDL, Proc. 3rd Int. Conf. on Formal Description Techniques, FORTE '90, North-Holland, Amsterdam, 1991.
2. F. Bause, P. Buchholz, Qualitative and quantitative analysis of timed SDL specifications, in: N. Gerner, H.G. Hegering, J. Savolvod (Eds.), Kommunikation in Verteilten Systemen, Springer, Berlin, 1993, pp. 486–500.
3. F. Bause, P. Buchholz, P. Kemper., QPN-Tool for the specification and analysis of hierarchically combined queueing Petri nets, in: [5].
4. F. Bause, H. Kabutz, P. Kemper, P. Kritzinger, SDL and Petri Net Performance Analysis of Communicating Systems, Proc. 15th International Symposium on Protocol Specification, Testing and Verification, PSTV '95, North Holland, 1995.
5. F. Bause, H. Beilner (Eds.), 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, Berlin, 1995.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献