Login / Signup

Formal verification of cloud systems elasticity.

Hamza SahliFaïza BelalaChafia Bouanaka
Published in: Int. J. Crit. Comput. Based Syst. (2016)
Keyphrases
  • formal verification
  • automated verification
  • intelligent systems
  • complex systems
  • management system