![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257 |
1 | Jan Carlson | [1] |
2 | John Håkansson | [1] |
3 | Aurelien Monot | [1] |
4 | Paul Pettersson | [1] |