| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters | 2011 | CoRR, Technical Report | abs/1105.5640 |