• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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