Refinement of Safety-Related Hazards into Verifiable Code Assertions.

Ken Wong Jeff Joyce

Published in: SAFECOMP (1998)

Keyphrases

decision trees
source code
computer vision
artificial intelligence
knowledge base
metadata
multi agent systems
emergency management