...

首页> 外文期刊>Innovations in Systems and Software Engineering >Introduction to special issue on verification and evaluation of computer systems

【24h】

Introduction to special issue on verification and evaluation of computer systems

机译：验证和评估计算机系统的特殊问题简介

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Innovations in Systems and Software Engineering》 |2018年第2期|共2页
作者
Kamel Barkaoui; Hanifa Boucheneb;
展开▼
作者单位

Cedric Department of Computer Science Le Cnam;

Veriform Department of Computer Engineering Polytechnique Montreal;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类程序语言、算法语言;
关键词

相似文献

外文文献
中文文献
专利

1. INTRODUCTION TO THE SPECIAL ISSUE ON MATHEMATICS AND ALGORITHMS IN COMPUTER-AIDED MANUFACTURING,ENGINEERING, AND NUMERICAL CONTROL [J] . LI Hongbo, SHPITALNI Moshe 系统科学与复杂性：英文版 . 2013,第005期
2. Introduction to the Special Issue on Additive Manufacturing --Editorial Board of Special Issue on Additive Manufacturing [J] . 工程（英文） . 2017,第005期
3. COMPLEX SYSTEMS IN SPORTS: INTRODUCTION TO THE SPECIAL ISSUE [J] . MERELO Juan Julián, MORA Antonio M, COTTA Carlos 系统科学与复杂性：英文版 . 2013,第001期
4. Introduction to the special issue on Advances in intelligent nonlinear control for robotic systems [J] . Chee Khiang PANG, Huajin TANG, Qing Wei JIA 控制理论与应用（英文版） . 2010,第002期
5. Introduction to special issue on verification and evaluation of computer systems [J] . Kamel Barkaoui, Hanifa Boucheneb Innovations in Systems and Software Engineering . 2018,第2期

机译：验证和评估计算机系统的特殊问题简介
6. Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems [J] . GIORGIO DELZANNO, SANDRO ETALLE, MAURIZIO GABBRIELLI Theory and Practice of Logic Programming . 2006,第Pt3期

机译：无功系统规格分析与验证专刊介绍
7. Introduction to the Special Issue on Human Resource Information Systems and Human Computer Interaction [J] . Johnson Richard D., Lukaszewski Kimberly M, Stone Dianna L AIS Transactions on Human-Computer Interaction . 2016,第4期

机译：人力资源信息系统与人机交互特刊简介
8. Introduction to the special session on formal verification of telecommunications systems [C] . Kapus T., Jezic G. International Conference on Telecommunications . 2005

机译：关于电信系统正式验证的特别会议简介
9. Computer algebra systems in mathematics education: A case study examining the introduction of computer algebra systems to secondary mathematics teachers. [D] . Nowakowski, Anthony Joseph. 1992

机译：数学教育中的计算机代数系统：一个案例研究，研究了将计算机代数系统引入中学数学教师的情况。
10. Preclinical Course in Computer-Aided Design and Computer-Aided Manufacturing (CAD/CAM) Digital Dentistry: Introduction Technology and Systems Evaluation and Exercise [O] . Tarek El-Kerdani 2016

机译：计算机辅助设计和计算机辅助制造（CAD / CAM）数字牙科临床前课程：简介技术和系统评估以及练习
11. Introduction to Special Issue: Foundations of Cognitive Science for the Design of Human–Computer Interactive Systems [O] . Kim-Phuong L. Vu, Robert W. Proctor 2016

机译：特别问题简介：人力计算机交互系统设计的认知科学基础
12. Introduction to Special Issue on PV Systems Performance and Reliability; Progress in Photovoltaics [R] . DeBlasio, R. , Post, H. N. , Thomas, M. G. 1999

机译：光伏系统性能和可靠性特刊简介;光伏发展的进展

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号