Abstract
AbstractBuilding on the success of systems verification, a new approach and method were developed to improve verification of requirements for system of systems. Following the formal logic (mereology) of Leśniewski, an integrative framework was structured on ontology‐based artifacts built from objects and processes within the problem domain. Meta‐structures of systems and system of systems artifacts were extracted to form a model of verification to a system of systems and its constituent systems.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
