Sign in
Automatic generation of predictive monitors from scenario-based specifications.
Pengcheng Zhang
Patrizio Pelliccione
Hareton Leung
Xuandong Li
Published in:
Inf. Softw. Technol. (2018)
Keyphrases
</>
automatically generate
formal specification
high level
predictive model
control flow
operational semantics
automatically generating
reactive systems
delay insensitive
data sets
databases
artificial neural networks
object oriented
finite state machines