Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[SCCKKKMP12]
I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly, M. Kwiatkowska, J. McDermid and R. Paige.
Large-Scale Complex IT Systems.
Communications of the ACM
, 55(7), pages 71-77.
July
2012.
[
bib
]
Downloads:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications