|
Volumn 7687 LNCS, Issue , 2013, Pages 314-319
|
Incremental runtime verification of probabilistic systems
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ITERATIVE METHODS;
MARKOV PROCESSES;
MODEL CHECKING;
NUMERICAL METHODS;
QUALITY OF SERVICE;
ADAPTIVE SOFTWARE SYSTEMS;
INCREMENTAL VERIFICATION;
MARKOV DECISION PROCESSES;
PROBABILISTIC VERIFICATION;
PROTOTYPE IMPLEMENTATIONS;
RUN-TIME VERIFICATION;
STRONGLY CONNECTED COMPONENT;
VERIFICATION RESULTS;
ADAPTIVE SYSTEMS;
|
EID: 84872843584
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-642-35632-2_30 Document Type: Conference Paper |
Times cited : (31)
|
References (8)
|