Zheng-Yu Jiang

According to our database1, Zheng-Yu Jiang authored at least 3 papers between 2001 and 2003.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Certifiable Software-Integration for Engine Electronics.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Formal Methods for Integration of Automotive Software.
Proceedings of the 2003 Design, 2003

2001
Integrating OpenMP into Janus.
Proceedings of the OpenMP Shared Memory Parallel Programming, 2001


  Loading...