Publication | Open Access

Reconciling interoperability with efficient Verification and Validation within open source simulation environments

Software MaintenanceEngineeringVerificationSoftware EngineeringSimulationSoftware AnalysisFormal VerificationSimulation FrameworkSystems EngineeringModeling And SimulationSoftware SimulationComputer ScienceResource InteroperabilitySoftware DesignSoftware VerificationSoftware TestingFormal MethodsSimulation InfrastructureSystem SoftwareEfficient Verification