Login / Signup

Formal verification of dynamically reconfigurable systems.

Ryo YanaseTatsunori SakaiMakoto SakaiSatoshi Yamane
Published in: GCCE (2015)
Keyphrases
  • formal verification
  • automated verification
  • model checking
  • management system
  • distributed systems
  • computer systems
  • genetic algorithm
  • complex systems