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:
CoRR (2019)
Keyphrases
</>
formal model
security patterns
data sets
security properties
formal models
database
real time
search engine
software engineering
efficient computation
probabilistic knowledge