Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Apostolopoulos, V., Peris, V., Saha, D.: Transport layer security: How much does it really cost? In: Conference on Computer Communications (IEEE Infocom), New York (March 1999)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)
3. Lecture Notes in Computer Science;M. Broy,2000
4. Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. OUP (1995)
5. Jürjens, J.: A UML statecharts semantics with message-passing. In: Symposium of Applied Computing 2002, March 11-14, pp. 1009–1013. ACM, New York (2002)