首页> 外文OA文献 >An Aspect-Oriented Approach for Assertion Verification

【2h】

An Aspect-Oriented Approach for Assertion Verification

机译：一种面向方面的断言验证方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ulises Juárez-martínez; Giner Alor-hernández; Rubén Posada-gómez; Joaquín Santos-luna; Juan Miguel Gómez; Ro Rodriguez Gonzalez;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An aspect-oriented, model-driven approach to functional hardware verification [J] . Linehan E., Clarke S. Journal of systems architecture . 2012,第5期

机译：面向方面，模型驱动的功能硬件验证方法
2. System-level assertions: approach for electronic system-level verification [J] . Sohofi Hassan, Navabi Zainalabedin Computers & Digital Techniques, IET . 2015,第3期

机译：系统级断言：电子系统级验证的方法
3. Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study [J] . Henrique Rebelo, Ricardo Lima, Gary T. Leavens, Science of Computer Programming . 2013,第8期

机译：使用程序转换为JML优化生成的面向方面的断言检查代码：一项实证研究
4. An Aspect-Oriented Approach for Assertion Verification [C] . International Conference on Advances in System Testing and Validation Lifecycle . 2009

机译：面向方面的断言验证方法
5. Dynamic Assertion-Based Verification for SystemC [D] . Tabakov, Deian 2010

机译：基于动态声明的SystemC验证
6. An Integrated Approach Based on Network Pharmacology Combined with Experimental Verification Reveals AMPK/PI3K/Akt Signaling is an Important Way for the Anti-Type 2 Diabetic Activity of Silkworm Excrement [O] . Huxinyue Duan, Qing Zhang, Jia Liu, 2021

机译：基于网络药理学的综合方法结合实验验证揭示了AMPK / PI3K / AKT信号传导是蚕粪虫抗型2糖尿病活性的重要途径
7. An aspect-oriented, model-driven approach to functional hardware verification [O] . Linehan, Eamonn, Clarke, Siobhán 2011

机译：面向方面，模型驱动的功能硬件验证方法

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号