Login / Signup

Formal Analysis of Virtual Machine Migration and Identification of Faults.

Santosh Kumar MajhiSunil Kumar Dhal
Published in: Int. J. Knowl. Based Organ. (2018)
Keyphrases
  • formal analysis
  • virtual machine
  • operating system
  • data center
  • agent model
  • virtual memory
  • cloud computing environment
  • fault diagnosis
  • multi tasking
  • formal methods
  • artificial intelligence
  • knowledge base
  • ban logic