Yang Liu
Affiliations:- Shanghai Maritime University, Shanghai, China
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking.
Syst., 2022
Autom. Softw. Eng., 2022