C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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