![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | Bram De Wachter, Alexandre Genon, Thierry Massart: From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA 2005: 177-188 |
2 | EE | Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter: The formal design of distributed controllers with dSL and Spin. Formal Asp. Comput. 17(2): 177-200 (2005) |
2003 | ||
1 | EE | Bram De Wachter, Thierry Massart, Cédric Meuter: dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS 2003: 132-145 |
1 | Alexandre Genon | [2] [3] |
2 | Thierry Massart | [1] [2] [3] |
3 | Cédric Meuter | [1] [2] |