… The paper also investigates three typical verification techniques of component composition including contract-based, invariants-based, and model checking techniques. It discusses …
J ZHOU, C CHEN, L LI, Z ZHANG, X ZHENG… - Frontiers, 2022 - jzus.zju.edu.cn
… A machine learning model for lapse prediction in life insurance contracts. Expert Syst Appl, … SysML: on system and algorithm co-design for practical machine learning. Proc 24 th ACM …