Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.
Thuy NguyenToshiaki AokiTakashi TomitaJunpei EndoPublished in: APSEC (2019)
Keyphrases
- low cost
- software tools
- control system
- data acquisition
- computer vision
- relational databases
- data model
- visualization tools
- design principles
- learning scenarios
- learning systems
- open source
- fuzzy logic
- end users
- data sets
- information technology
- multiscale
- case study
- image processing
- artificial intelligence
- genetic algorithm
- machine learning
- data mining
- databases