| |
| 2007 | ||
|---|---|---|
| 2 | EE | Matteo Risoldi, Didier Buchs: A domain specific language and methodology for control systems GUI specification, verification and prototyping. VL/HCC 2007: 179-182 |
| 2006 | ||
| 1 | EE | Matteo Risoldi, Vasco Amaral: Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping. RISE 2006: 144-159 |
| 1 | Vasco Amaral | [1] |
| 2 | Didier Buchs | [2] |