Sign in
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.
Feng Zhang
Leping Zhang
Yongwang Zhao
Yang Liu
Jun Sun
Published in:
Formal Aspects Comput. (2023)
Keyphrases
</>
statistical analysis
data sets
information retrieval
data analysis
relational databases
quantitative analysis
real world
machine learning
information systems
website
case study
optimal solution
probabilistic model