![]() | ![]() |
2003 | ||
---|---|---|
2 | EE | Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf: Formal Methods for Integration of Automotive Software. DATE 2003: 20045-20050 |
2001 | ||
1 | EE | Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl: Integrating OpenMP into Janus. WOMPAT 2001: 101-114 |
1 | Jörn-Christian Braam | [2] |
2 | Rolf Ernst | [2] |
3 | Jens Gerlach | [1] |
4 | Marek Jersak | [2] |
5 | Hans Werner Pohl | [1] |
6 | Kai Richter | [2] |
7 | Fabian Wolf | [2] |