Software and Hardware Certification Techniques in a Combined Certification Model.
Antonio MuñozAntonio MañaPublished in: SECRYPT (2014)
Keyphrases
- computational model
- databases
- probabilistic model
- statistical model
- formal model
- cost function
- database
- software engineering
- bayesian framework
- neural network model
- third party
- sensitivity analysis
- conceptual model
- theoretical framework
- em algorithm
- management system
- control system
- bayesian networks
- high level
- information systems
- artificial intelligence
- real time