Funder
Beijing Wuzi University
Major Science and Technology Projects in Yunnan Province
Ministry of Science and Technology of the People's Republic of China
Yunnan Provincial Science and Technology Department
Natural Science Foundation of Beijing Municipality
National Key Research and Development Program of China
Reference34 articles.
1. Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation;Amel;Sci. Comput. Programm.,2022
2. Coarse graining on financial correlation networks;Balcı;Mathematics.,2022
3. SaaSC: Toward pay-as-you-go mode for software service transactions based on Blockchain's smart legal contracts;Chen;IEEE Trans. Services Comput.,2023
4. Cross network migration through smart contract publishing of financial derivatives (lianmenhu. com).
5. Trust modelling and verification using Event-B;Fathabadi;In Proceedings FMAS,2023