Login / Signup

SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach.

Oussama KamelAllaoua ChaouiGregorio DíazMohamed Gharzouli
Published in: Comput. Stand. Interfaces (2021)
Keyphrases
  • reactive systems
  • model checking
  • cloud computing
  • temporal logic
  • information flow
  • formal methods
  • control flow
  • building blocks
  • modeling language
  • databases
  • artificial intelligence
  • expert systems
  • state machines