Formalizing UML State Machines for Automated Verification

已完结

文献求助详情

标题	Formalizing UML State Machines for Automated Verification – A Survey 用于自动验证的形式化UML状态机综述相关领域计算机科学 UML的应用统一建模语言 UML工具对象约束语言程序设计语言抽象状态机软件工程有限状态机软件
网址	https://doi.org/10.1145/3579821
DOI	10.1145/3579821 doi
其它	期刊：ACM Computing Surveys 作者：Étienne André; Shuang Liu; Yang Liu; Christine Choppy; Jun Sun; et al 出版日期：2023-07-13
求助人	成就的天荷在 2023-12-11 11:39:09 发布自伊朗，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

不忘初心，牢记使命，为科研工作者服务

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: summer发布了新的文献求助10

1秒前; HYF发布了新的文献求助10

2秒前; CipherSage的应助被Zehn采纳，获得10

5秒前; 传奇3上传了应助文件

6秒前; 李贝宁完成签到，获得积分10

6秒前; 鸭子完成签到，获得积分10

7秒前; 大方寄云完成签到，获得积分10

8秒前; cc的应助被夜阑听雨采纳，获得10

8秒前; 小二郎的应助被afnfg采纳，获得10

10秒前; DrLee完成签到，获得积分10

11秒前; 大方寄云发布了新的文献求助10

11秒前; 止心所至完成签到，获得积分10

12秒前; 小马甲上传了应助文件

13秒前; 丘比特的应助被HYF采纳，获得10

14秒前; 醉熏的灵完成签到，获得积分10

15秒前; cc上传了应助文件

16秒前; Akim的应助被summer采纳，获得10

17秒前; 麦兜完成签到，获得积分10

19秒前; 啾啾发布了新的文献求助10

20秒前; 希望天下0贩的0的应助被科研通管家采纳，获得10

21秒前; 科研通AI2S的应助被科研通管家采纳，获得10

21秒前; 英俊的铭的应助被科研通管家采纳，获得10

21秒前; 上官若男的应助被科研通管家采纳，获得10

21秒前; 爆米花的应助被科研通管家采纳，获得10

21秒前; 小蘑菇的应助被科研通管家采纳，获得10

21秒前; 田様的应助被科研通管家采纳，获得10

21秒前; 隐形曼青的应助被科研通管家采纳，获得10

22秒前; orixero的应助被科研通管家采纳，获得10

22秒前; 科目三的应助被科研通管家采纳，获得10

22秒前; 科研通AI2S的应助被科研通管家采纳，获得10

22秒前; 修水县1个科研人完成签到，获得积分10

22秒前; 小马甲的应助被科研通管家采纳，获得10

22秒前; 天天快乐的应助被科研通管家采纳，获得10

22秒前; 英俊的铭的应助被科研通管家采纳，获得10

23秒前; xifan完成签到，获得积分10

24秒前; 董果果完成签到，获得积分10

25秒前; 刘璇1发布了新的文献求助10

28秒前; FashionBoy的应助被一笑置之采纳，获得10

29秒前; 斯文败类上传了应助文件

33秒前; 岳小龙完成签到，获得积分10

34秒前