Certification of avionic software based on machine learning: the case for formal monotony analysis.
Mélanie DucoffeChristophe GabreauIleana OberIulian OberGuillaume VidotPublished in: Int. J. Softw. Tools Technol. Transf. (2024)
Keyphrases
- machine learning
- artificial intelligence
- analysis tool
- natural language processing
- data analysis
- pattern recognition
- text classification
- statistical analysis
- formal analysis
- user interface
- knowledge representation
- decision trees
- computational intelligence
- source code
- knowledge acquisition
- computer systems
- learning systems
- machine learning methods
- data mining