Sign in
Formal design of dynamic reconfiguration protocol for cloud applications.
Rim Abid
Gwen Salaün
Noel De Palma
Published in:
Sci. Comput. Program. (2016)
Keyphrases
</>
dynamic reconfiguration
formal analysis
real time
user interface
machine learning
general purpose
software development
design process
formal methods