基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal).
Ningmin ShenJing LiHaiyang BaiYi ZhuangPublished in: 计算机科学 (2016)
Keyphrases
- real time
- data sets
- model checking
- data processing
- data collection
- database
- complex data
- data sources
- data distribution
- data analysis
- input data
- prior knowledge
- model checker
- image data
- raw data
- data objects
- original data
- statistical analysis
- high quality
- data quality
- experimental data
- temporal logic
- synthetic data
- data transformation
- verification method
- neural network
- missing data
- training data
- data management
- small number
- probability distribution
- data structure