Yang Liu
Affiliations:- Shanghai Maritime University, Shanghai, China
Timeline
2022
0
1
2
3
4
3
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