Special Issue "Forecast Verification"

被引：0

|

作者：

Rathore, L. S.

机构：

来源：

MAUSAM | 2015年 / 66卷 / 03期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0706 ; 070601 ;

摘要：

引用

收藏

页码：I / II

页数：2

相关论文

共 50 条

[31] Introduction to the Special Issue on Verification of Arithmetic Hardware
Steven M. German
Formal Methods in System Design, 1999, 14 : 5 - 6
[32] Special issue: Verification of lazy caching - Introduction
Merritt, M
DISTRIBUTED COMPUTING, 1999, 12 (2-3) : 55 - 56
[33] Editorial for special issue on symmetry in automatic verification
Emerson, EA
FORMAL METHODS IN SYSTEM DESIGN, 1996, 9 (1-2) : 5 - 6
[34] Introduction to the special issue on verification and computational logic
Leuschel, M
Podelski, A
Ramakrishnan, CR
Ultes-Nitsche, U
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 543 - 544
[35] Preface to the special issue on the "Forecast and Evaluation of Meteorological Disasters" (FEMD)
Wang, Huijun
ADVANCES IN ATMOSPHERIC SCIENCES, 2017, 34 (02) : 127 - 127
[36] Preface to the special issue on the “Forecast and Evaluation of Meteorological Disasters” (FEMD)
Huijun Wang
Advances in Atmospheric Sciences, 2017, 34 : 127 - 127
[37] Preface to the Special Issue on the “Forecast and Evaluation of Meteorological Disasters”(FEMD)
Huijun WANG
AdvancesinAtmosphericSciences, 2017, 34 (02) : 128 - 128
[38] SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN - FOREWORD
YASUURA, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (09) : 989 - 990
[39] Special issue on Automated Specification and Verification of Web Systems
Kovacs, Laura
Kutsia, Temur
JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
[40] Special Issue: International Workshop on Runtime Verification 2007
Sokolsky, Oleg
Tasiran, Serdar
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 649 - 650

← 1 2 3 4 5 →