Login / Signup

Formal analysis of piecewise affine systems through formula-guided refinement.

Boyan YordanovJana TumovaIvana CernáJiri BarnatCalin Belta
Published in: Autom. (2013)
Keyphrases
  • formal analysis
  • formal methods
  • piecewise affine
  • management system
  • distributed systems
  • intelligent systems
  • web services
  • multi agent systems
  • computer systems
  • complex systems