Separation of Considerations in Event-B Refinement toward Industrial Use.
Naoto SatoFuyuki IshikawaPublished in: FMSEE&T@FM (2015)
Keyphrases
- event detection
- industrial applications
- technology transfer
- industrial environment
- quality improvement
- real time
- refinement process
- industrial processes
- search algorithm
- learning algorithm
- news articles
- temporal relations
- data mining
- real world
- complex events
- neural network
- data sets
- database
- events occurring
- events occur