Publication | Closed Access

Model independent assertions for integration of heterogeneous schemas

Model Independent AssertionsEngineeringData ScienceDistributed Schema ManagementAutomated ReasoningVerificationFormal MethodsComputer ScienceSchema EvolutionModel IntegrationSemantic WebFormal VerificationData Modeling