Jiexin Zhang

Affiliations:
  • National University of Singapore, Singapore


According to our database1, Jiexin Zhang authored at least 3 papers between 2012 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Formalizing and verifying stochastic system architectures using Monterey Phoenix.
Softw. Syst. Model., 2016

2012
Model Checking Software Architecture Design.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012


  Loading...