Publication | Closed Access
Quick Changeover for Operators: The SMED System
20
Citations
0
References
1997
Year
Mathematical ProgrammingProgramming Language TheoryEngineeringAutomated ReasoningFormal MethodsSystems EngineeringQuick ChangeoverModel Transformation LanguageFinite-state SystemFormal Verification
No additional data available for this publication yet. Check back later!