| |
| 2005 | ||
|---|---|---|
| 1 | EE | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049 |
| 1 | Massimo Baleani | [1] |
| 2 | Alberto Ferrari | [1] |
| 3 | Ulrich Freund | [1] |
| 4 | Leonardo Mangeruca | [1] |
| 5 | Alberto L. Sangiovanni-Vincentelli | [1] |
| 6 | Hans-Jörg Wolff | [1] |