Publication | Closed Access

Integration of an object formalism within a hybrid dynamic simulation environment

EngineeringAutomated ReasoningObject-oriented ModelingAutomationDesignFormal MethodsSimulation FrameworkSystems EngineeringSimulationObject FormalismComputer ScienceModeling And SimulationObject ModelingCo-simulationFormal VerificationSimulation LanguageSoftware Design