Author:
Bertolino Antonia,Bonivento Alvise,De Angelis Guglielmo,Vincentelli Alberto Sangiovanni
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specifications from MSCs. In: SDL Forum, pp. 51–66 (1999)
2. Lecture Notes in Computer Science;S. Afsharian,2005
3. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng. 30(5), 295–310 (2004)
4. Barbieri, D.: Network Processors and Next Generation Networks : Design Methodology and Implementation of a Case of Study. Laurea Thesis, Università degli Studi di Roma “Tor Vergata” – in Italian (2005)
5. Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net Models. In: Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002), pp. 35–45 (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A QoS Test-Bed Generator for Web Services;Lecture Notes in Computer Science;2007