Synthesising correct concurrent runtime monitors.

Adrian Francalanza Aldrin Seychell

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

neural network
database systems
image sequences
multi agent
data structure
search algorithm
object recognition
expert systems
programming language
runtime environment