An Ontology-Based Integrated Assessment Framework for High-Assurance Systems

Raymond A. Paul
I-Ling Yen
Farokh B. Bastani
Jing Dong

Abstract

This paper has been withdrawn.