Jörg Wernerus is an author at RWTH Aachen University specializing in industrial informatics, formal verification, and process control.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringIndustrial Informatics
Publications per year
2009–2009
1
1
Direct Model Checking of PLC Programs in IL
Bastian Schlich, Jörg Bräuer, Jörg Wernerus et al. · IFAC Proceedings Volumes · 2009 · 34 citations
Rows per page
1–1 of 1