Special Issue "Forecast Verification"

被引：0

|

作者：

Rathore, L. S.

机构：

来源：

MAUSAM | 2015年 / 66卷 / 03期

关键词：

D O I：

暂无

中图分类号：

P4 [大气科学（气象学）];

学科分类号：

0706 ; 070601 ;

摘要：

引用

收藏

页码：I / II

页数：2

相关论文

共 50 条

[41] Special issue on Automated Specification and Verification of Web Systems
Kovacs, Laura
Pugliese, Rosario
Silva, Josep
Tiezzi, Francesco
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
[42] Special Issue on Low Power Design and Verification Techniques
Verma, Shireesh
JOURNAL OF LOW POWER ELECTRONICS, 2011, 7 (01) : 1 - 1
[43] Preface: Special Issue on Verification of Objects at Runtime Execution
Ancona, Davide
SCIENCE OF COMPUTER PROGRAMMING, 2019, 182 : 88 - 89
[44] Introduction to special issue on verification and evaluation of computer systems
Kamel Barkaoui
Hanifa Boucheneb
Innovations in Systems and Software Engineering, 2018, 14 (2) : 81 - 82
[45] SPECIAL ISSUE ON VERIFICATION, TEST AND DIAGNOSIS OF VLSI SYSTEMS
FUJIWARA, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 789 - 790
[46] Introduction to special issue on verification and evaluation of computer systems
Barkaoui, Kamel
Boucheneb, Hanifa
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (02) : 81 - 82
[47] SPECIAL ISSUE ON COMPUTER-AIDED VERIFICATION - SPECIAL METHODS .2.
KURSHAN, R
FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (02) : 119 - 119
[48] SPECIAL ISSUE ON FORECAST PROBLEMS IN THE WESTERN REGION OF THE NATIONAL WEATHER SERVICE
COLMAN, BR
KOCIN, PJ
UCCELLINI, LW
WEATHER AND FORECASTING, 1993, 8 (02) : 157 - 157
[49] Special issue on Hardware Verification Workshop (HWVW '10) Preface
Biere, Armin
Yorav, Karen
FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (02) : 115 - 116
[50] Special Issue on Automated Specification and Verification of Web Systems Foreword
Ballis, Demis
Kutsia, Temur
JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (02) : 93 - 94

← 1 2 3 4 5 →