The research team is working on the following topics:

  1. Personalized Medical Device Software
  2. Product Family Algebra and Event-B
  3. Adapting SOFL to the Development of Software Product Families