Sign in

Refactoring Refinement Structure of Event-B Machines.

Tsutomu KobayashiFuyuki IshikawaShinichi Honiden
Published in: FM (2016)
Keyphrases
  • event detection
  • high level
  • database systems
  • relational databases
  • database
  • evolutionary algorithm
  • source code
  • geometric structure