Sign in

Formal design of dynamic reconfiguration protocol for cloud applications.

Rim AbidGwen SalaünNoel 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