and Benny Akesson

Latest

• The paper 'Partial Specifications of Component-based Systems using Petri Nets' was accepted for the PNSE '22 workshop.
• Science & Design project 'Towards Zero-Waste Computing: Energy Labels for Digital Services' granted!