Stochastic Activity Networks for the Verification of Knowledge Bases

Abstract

This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License Newcastle University ePrints-eprint.ncl.ac.uk Martin L, Romanovsky A. Stochastic activity networks for the verification of knowledge bases. In: International Workshop on Software Engineering for Resilient Systems (SERENE 2017).