A Theory for Abstract Reduction Systems in PVS.

André Luiz Galdino Mauricio Ayala-Rincón

Published in: CLEI Electron. J. (2008)

Keyphrases

theoretical basis
expert systems
low level
management system
theoretical framework
complex systems
computing systems
general theory
neural network
data mining
object oriented
embedded systems
formal verification
topics covered include