System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Publication year
2004Publisher
Paphos : Department of Computer Science - University of Cyprus
In
Margaria, Tiziana; Steffen, Bernard; Philippou, Anna (ed.), International Symposium on Leveraging Applications of Formal Methods -- ISoLA 2004 -- preliminary proceedings, pp. 209-220Annotation
ISoLA 2004
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Margaria, Tiziana
Steffen, Bernard
Philippou, Anna
Reitenspiess, Manfred
Organization
Software Science
Book title
Margaria, Tiziana; Steffen, Bernard; Philippou, Anna (ed.), International Symposium on Leveraging Applications of Formal Methods -- ISoLA 2004 -- preliminary proceedings
Page start
p. 209
Page end
p. 220
Subject
Informatics for Technical ApplicationsThis item appears in the following Collection(s)
- Academic publications [246326]
- Faculty of Science [37964]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.