H Wupper is an author at Radboud University Nijmegen specializing in computer engineering, engineering, and process control.
Top concepts
EngineeringProcess ControlSystems EngineeringComputer EngineeringAutomationMechatronicsVerificationFormal MethodsControl SystemsComputer Science
Publications per year
2000–2003
3
3
Timed automaton models for simple programmable logic controllers
Angelika Mader, H Wupper · 2003 · 60 citations
Design of a PLC Control Program for a Batch Plant VHS Case Study 1
Angelika Mader, Ed Brinksma, H Wupper et al. · European Journal of Control · 2001 · 15 citations
What is the method in applying formal methods to PLC applications
Angelika Mader, Susan Engel, H Wupper et al. · 2000 · 10 citations · Full text
Rows per page
1–3 of 3