Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis.
Robert EschbachPublished in: FM (2019)
Keyphrases
- monitoring system
- industrial applications
- data analysis
- data acquisition
- health monitoring
- industrial systems
- machine learning
- data processing
- cluster analysis
- formal methods
- knowledge discovery
- data mining
- virtual instrument
- field bus
- data collection
- spatial data
- intelligent systems
- text mining
- heterogeneous wireless sensor networks