C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Specification of Parametric Monitors.
Klaus Havelund
Giles Reger
Published in:
SyDe Summer School (2015)
Keyphrases
</>
high level
genetic algorithm
three dimensional
data sets
artificial intelligence
database systems
object oriented
formal specification
specification language
formal verification
parametric representation