Using SPARK-Ada to Model and Verify a MILS Message Router.
Bryan RosseboPaul W. OmanJim Alves-FossRyan BluePaul JaszkowiakPublished in: ISSSE (2006)
Keyphrases
- probabilistic model
- formal model
- high level
- information retrieval
- statistical model
- parameter estimation
- computational model
- input data
- prior knowledge
- conceptual model
- prediction model
- neural network
- network model
- experimental data
- parameter values
- process model
- probability distribution
- model selection
- real time
- cost function
- similarity measure
- case study
- information systems
- computer vision
- machine learning
- data sets