Publication | Open Access

Modeling component connectors in Reo by constraint automata

Constraint SolvingEngineeringConstraint AutomataComputer EngineeringFormal MethodsComputer-aided DesignModeling And SimulationStructural OptimizationSoftware DesignComponent SystemConstraint Programming