Zheng-Yu Jiang

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
Formal Methods for Integration of Automotive Software. DATE (2003)
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
Certifiable Software-Integration for Engine Electronics. MBMV (2003)
Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl
Integrating OpenMP into Janus. WOMPAT (2001)