Stefan Kowalewski
Hochschullehrer,
Elektroingenieur
Werke:
- Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
- Modulare diskrete Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf
- Symbolic verification of PLC safety-applications based on PCLopen automata
- Formal methods for industrial critical systems : 15th international workshop ; proceedings