C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From Runtime Verification to Runtime Intervention and Adaptation.
Martin Rinard
Published in:
RV (2012)
Keyphrases
</>
artificial intelligence
information systems
model checking
real time
data mining
three dimensional
database systems
multi agent
expert systems
formal verification