Login / Signup

Formal analysis of policy-based self-adaptive systems.

Narges KhakpourRamtin KhosraviMarjan SirjaniSaeed Jalili
Published in: SAC (2010)
Keyphrases
  • formal analysis
  • formal methods
  • expert systems
  • management system
  • intelligent systems
  • building blocks
  • knowledge base
  • multi agent systems
  • distributed systems
  • complex systems
  • retrieval systems