Martin Luther University Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Further settings

Login for editors

Dr.-Ing. Sebastian Preuße

Scientific Staff

Phone: +49-345-55-25975

Email:


Research Interests

  • OMSIS - project
  • Specification of technical plant behavior with temporal logics
  • Generation of formal plant models from 3D plant simulations
  • Formal controller modeling
  • Hardware in the Loop and Software in the Loop controller test

Publications


Technical Reports

Up