Optimal investment problem for life insurance company by considering health-level

von Chen, Jiachen
Veröffentlicht in Modern economy (2019)

Formal Verification of Interoperability Between Future Network Architectures Using Alloy

von Jahanian, Mohammad
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)