2019.1.4区块链论文讨论班通知

Posted by 周东宜 on January 3, 2019

Recently by the same author:


智能合约安全

论文题目:Inter-Context Control-Flow and Data-Flow Test Adequacy Criteria for nesC Applications

时间:2019年1月4日

地点:华南师范大学计算机学院503办公室

主讲人:周东宜(研究生)

主要内容

​ 介绍一种针对nesC应用程序建模的方法,根据这个模型提出两种测试充分性准则,并进行实验验证该充分性准则的测试有效性。

The End

广州市云计算安全与测评技术重点实验室

华南师大-唯链区块链技术与应用联合实验室

粤港澳大湾区区块链应用推广中心

广东省计算机学会区块链专委会

相关内容分享只作为学术讨论,仅供访问者使用参考。我们尊重相关版权人的权利,但受限于篇幅、技术等客观因素,不保证所有信息、文本、图形、链接及其它项目的绝对准确性、绝对完整性和完整备注他人权利。我们尽最大的努力保证内容的科学性和严谨性等,但我们对使用上述内容而产生的相关后果不承担任何商业和法律责任