Finite state machine model checking of a wave-union-based TDC FPGA system

已完结

文献求助详情

标题	Finite state machine model checking of a wave-union-based TDC FPGA system 基于wave-union的TDC FPGA系统的有限状态机模型检验相关领域现场可编程门阵列有限状态机计算机科学模型检查国家（计算机科学）有限状态嵌入式系统算法马尔可夫链机器学习
网址	https://doi.org/10.1109/mttw64344.2024.10742184
DOI	10.1109/mttw64344.2024.10742184 doi
其它	期刊：作者：Jakovs Ratners; Nikolajs Tihomorskis; Sandis Migla; Artūrs Āboltiņš 出版日期：2024-10-02
求助人	丁丁丁在 2024-11-13 15:25:06 发布自北京，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

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

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

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

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

更新

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

更新

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

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

实时播报: 隐形曼青的应助被丰富的大树采纳，获得10

2秒前; 英俊的铭上传了应助文件

2秒前; 卢飞薇发布了新的文献求助10

3秒前; 科研通AI2S的应助被眰恦采纳，获得10

4秒前; 倒易空间完成签到，获得积分10

4秒前; 科研通AI2.0上传了应助文件

5秒前; 李健的粉丝团团长的应助被义气冷菱采纳，获得10

6秒前; 臭猪上传了应助文件

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

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

7秒前; SciGPT上传了应助文件

7秒前; 上官若男上传了应助文件

7秒前; 张萌完成签到，获得积分10

7秒前; 科研通AI2.0上传了应助文件

8秒前; 爆米花上传了应助文件

9秒前; 师无完成签到，获得积分20

9秒前; Schwann翠星石完成签到，获得积分10

9秒前; 抱住仙人球的应助被意昂采纳，获得10

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

11秒前; 我不是霍建华发布了新的文献求助10

11秒前; 可乐发布了新的文献求助10

11秒前; 师无发布了新的文献求助10

11秒前; 赵123完成签到，获得积分20

13秒前; 伊森给伊森的求助进行了留言

13秒前; 科研通AI2.0上传了应助文件

14秒前; 忐忑的致远发布了新的文献求助10

14秒前; 大吴克发布了新的文献求助10

14秒前; 123发布了新的文献求助10

15秒前; 魔幻小白菜完成签到，获得积分10

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

16秒前; 萧水白的应助被学术拉机采纳，获得10

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

17秒前; Ava上传了应助文件

17秒前; lgying发布了新的文献求助30

17秒前; 愉快的真上传了应助文件

17秒前; 希望天下0贩的0的应助被王硕硕采纳，获得10

18秒前; wanci的应助被搞怪的人龙采纳，获得10

18秒前; 郑麻发布了新的文献求助10

20秒前; 成就芷容发布了新的文献求助10

20秒前; nini的应助被我不是霍建华采纳，获得10

20秒前