Ning Yu

Affiliations:

According to our database¹, Ning Yu authored at least 2 papers between 2014 and 2016.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2016

Injecting continuous time execution into service-oriented computing.

[DOI]

PhD thesis, 2016

2014

A SOC-Based Formal Specification and Verification of Hybrid Systems.

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014