Publication | Closed Access

Automatic transformation of logic models within engineering of embedded mechatronical units

EngineeringIndustrial EngineeringMechatronic SystemSystems EngineeringModeling And SimulationAutomatic TransformationLogic ModelsMechatronicsDesignComputer EngineeringModel TransformationLogic SynthesisModel-based System EngineeringAutomated ReasoningEmbedded Mechatronical UnitsAutomationDynamic LogicFormal MethodsIndustrial Informatics