Probabilistic networks for verifying automated testing of high speed telecommunication equipment through the development lifecycle.
Roy SterrittKenny AdamsonEdwin P. CurranC. Mary ShapcottPublished in: SMC (2000)
Keyphrases
- development lifecycle
- probabilistic networks
- high speed
- software development
- formal methods
- bayesian networks
- probabilistic inference
- influence diagrams
- security requirements
- bayesian belief networks
- model checking
- dynamic probabilistic networks
- markov networks
- graphical models
- anomaly detection
- continuous variables
- belief networks
- probability distribution