Sign in
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.
Yliès Falcone
Published in:
RV (2018)
Keyphrases
</>
model checking
high school
computer technology
formal verification
database
spatio temporal
np hard
cost sensitive
total cost
science education
action selection
initial state
middle school
cost reduction
computer usage