activity
20112023
most citedSBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

21 citations · 115 across the 16 of their papers we have counts for

collaborators
Showing 2011 · cs.SEShow all

1 paper · 2 filters

cs.SE2011

Model Based Synthesis of Control Software from System Level Formal Specifications

Federico Mari, Igor Melatti, Ivano Salvo +1

Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…