Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.
Olfa MosbahiJacques JarayLeila Jemni Ben AyedPublished in: AICCSA (2006)
Keyphrases
- case study
- experimental evaluation
- preprocessing
- segmentation method
- detection method
- synthetic data
- optimization algorithm
- high accuracy
- computational cost
- data sets
- support vector machine
- significant improvement
- pairwise
- similarity measure
- real time
- control system
- software engineering
- real world
- neural network
- optimization method
- development process