Not logged in

Return

Self-Adaptive Software Needs Quantitative Verification at Runtime

2012-09-01

172

OA

AI

Radu Călinescu *

Marta Kwiatkowska

Raffaela Mirandola

DOI：10.1145/2330667.2330686

Original request for help

Save

Abstract

En

Keywords:

MODEL CHECKING

SYSTEMS

Journal

Communications of the ACM

IF:

12.2

Papers:

1.2W

Citations:

3.7W

Organization

P

Polytechnic University of Milan

Scholars:

2.0W

Papers: 1.8W

Citations: 24

U

university of york - uk

Scholars:

1.5W

Papers: 1.5W

Citations: 15

U

university of oxford

Scholars:

9.7W

Papers: 8.6W

Citations: 137

View more organizations