Analysis of a BMAP/D/1-Timer Multiplexer
- 作者Gábor Horváth; Miklós Telek
- 卷第128卷
- 期第4期
- 印刷ISSN1571-0661
- 文件大小343.57KB
- 发表时间2005
- DOI10.1016/j.entcs.2005.01.011
- 页码25-44
Modeling and validation of service-oriented architecturesBaresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel · ACM SIGSOFT Software Engineering Notes · 2003
Style-based modeling and refinement of service-oriented architecturesLuciano Baresi; Reiko Heckel; Sebastian Thöne; D´aniel Varr´o · 2006
[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - Modeling and validation of service-oriented architecturesBaresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel · 2003