Designing and Proving Properties of the Abaco Autoscaler Using TLA+.

Smruti Padhy Joe Stubbs

Published in: VSTTE (2021)

Keyphrases

temporal logic
data sets
real world
multimedia
similarity measure
video sequences
data analysis
structural properties
desirable properties
topological properties