Sign in

Extracting Traceability between Predicates in Event-B Refinement.

Shinnosuke SaruwatariFuyuki IshikawaTsutomu KobayashiShinichi Honiden
Published in: APSEC (2017)
Keyphrases
  • event detection
  • automatically extracting
  • software architecture
  • life cycle
  • event driven
  • data mining
  • user defined
  • event recognition
  • step wise
  • database
  • search engine
  • open source
  • news stories