Group day: Formal Modeling and Analysis of Embedded Systems, Mälardalen university

Paul in media :-)

A group of reserachers at Mälardalen university, including Paul, was recently awarded a 12 milj SEK grant for research in adaptive embedded systems.

See e.g. VLT, Eskilstunakuriren, Sveriges Radio, or Elektroniktidningen.