References & Citations
Computer Science > Logic in Computer Science
Title: Formalization of Advanced VOs semantics and VO Refinement
(Submitted on 18 May 2022)
Abstract: This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
Link back to: arXiv, form interface, contact.