Mingyu Ma

Affiliations:

According to our database¹, Mingyu Ma authored at least 2 papers between 2011 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

ASDeX: a formal specification for analog circuit enabling a full automated design validation.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2014

2011

A machine-readable specification of analog circuits for integration into a validation flow.

[BibT_eX]

[DOI]

Proceedings of the 2011 Forum on Specification & Design Languages, 2011