ESTEREL: a formal method applied to avionic software development.
Gérard BerryAmar BoualiXavier FornariEmmanuel LedinotEric NassorRobert de SimonePublished in: Sci. Comput. Program. (2000)
Keyphrases
- software development
- high precision
- classification method
- segmentation method
- pairwise
- synthetic data
- high accuracy
- input data
- optimization method
- optimization algorithm
- support vector machine svm
- medical images
- software engineering
- prior knowledge
- preprocessing
- feature set
- theoretical analysis
- experimental evaluation
- detection algorithm
- data model
- real world
- neural network