Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
2024
4 citations
Journal Article
hybrid Open Access
Field-Weighted Citation Impact:
1.47
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP | Researchclopedia
The University of Texas at Dallas
Robin Bloomfield
·
City, University of London
John Rushby
·
SRI International