Automated reasoning framework for traceability management of system of systems.

Bedir Tekinerdogan Ferhat Erata

Published in: Sci. Comput. Program. (2020)

Keyphrases

automated reasoning
management system
reasoning systems
theorem prover
knowledge representation
decision procedures
information systems
neural network
expert systems
life cycle
theorem proving
knowledge representation and reasoning
automated verification