Specification, testing and implementation relations for symbolic-probabilistic systems.
Natalia LópezManuel NúñezIsmael RodríguezPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- high level
- complex systems
- learning algorithm
- artificial intelligence
- successful deployment
- exception handling
- formal methods
- uncertain data
- management system
- query language
- building blocks
- spatial relations
- distributed systems
- hardware implementation
- software testing
- formal verification
- highly optimized
- expert systems