TY  - RPRT
TI  - Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
AU  - Federico Mari
AU  - Igor Melatti
AU  - Ivano Salvo
AU  - Enrico Tronci
PY  - 2012
UR  - https://arxiv.org/abs/1105.5640
ID  - 1105.5640
ER  -