C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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