15 citations · 39 across the 14 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2012★ 3 cited
On Model Based Synthesis of Embedded Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…
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…