Login / Signup
No More, No Less - A Formal Model for Serverless Computing.
Maurizio Gabbrielli
Saverio Giallorenzo
Ivan Lanese
Fabrizio Montesi
Marco Peressotti
Stefano Pio Zingaro
Published in:
COORDINATION (2019)
Keyphrases
</>
formal model
predicate calculus
real time
formal models
security properties
data sets
probabilistic knowledge
database
information retrieval
image sequences
multiscale
security patterns