View in EDS HTML Full Text PDF Full Text

A Research landscape on formal verification of UML dynamic modeling.

Saved in:
Bibliographic Details
Title: A Research landscape on formal verification of UML dynamic modeling.
Authors: Wu, Runfang1, runfangwu@bjtu.edu.cn, Du, Ye1,2, ydu@bjtu.edu.cn, Tang, Yu1, yutang@bjtu.edu.cn
Source: Journal of Supercomputing; Jun2025, Vol. 81 Issue 8, p1-30, 30p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09208542
DOI:10.1007/s11227-025-07464-8