SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems.
Sumin ParkYong-Jun ShinSangwon HyunDoo-Hwan BaePublished in: SoSE (2020)
Keyphrases
- statistical analysis
- real time
- intelligent systems
- artificial intelligence
- model checking
- retrieval systems
- learning systems
- building blocks
- data analysis
- expert systems
- image analysis
- formal analysis
- quantitative analysis
- data acquisition
- computer systems
- medical images
- computational intelligence
- image sequences
- database systems
- website
- metadata
- information systems
- learning algorithm
- neural network
- databases