Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface

被引：0

|

作者：

Jones, Cliff ^{[1
]}

Romanovsky, Alexander ^{[1
]}

机构：

[1] Newcastle Univ, Newcastle Upon Tyne, Tyne & Wear, England

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 82卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1016/j.scico.2013.06.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：1 / 1

页数：1

相关论文

共 50 条

[21] Special issue on software specification and verification - Preface
Wing, JM
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (02) : 103 - 104
[22] Special Issue on Critical Theory PREFACE
Welton, Michael R.
INTERNATIONAL JOURNAL OF ADULT VOCATIONAL EDUCATION AND TECHNOLOGY, 2014, 5 (02) : IV - VI
[23] Special Issue: Advanced Information Systems Engineering (CAiSE'11) Preface
Mouratidis, Haris
INFORMATION SYSTEMS, 2012, 37 (08) : 713 - 713
[24] Preface to Special Issue on Applications of Automated Planning
Chen, Yixin
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2010, 1 (02)
[25] Escape-11 special issue - Preface
Gani, R
Jorgensen, SB
COMPUTERS & CHEMICAL ENGINEERING, 2002, 26 (4-5) : 477 - 477
[26] Special Issue for SCPDE11 Preface
Ling, Leevan
Qiao, Zhonghua
Tang, Tao
ADVANCES IN APPLIED MATHEMATICS AND MECHANICS, 2012, 4 (06) : I - II
[27] Preface: Special Issue on Verification of Objects at Runtime Execution
Ancona, Davide
SCIENCE OF COMPUTER PROGRAMMING, 2019, 182 : 88 - 89
[28] Guest editorial: Special issue on modeling, verification and testing of dependable critical systems
Ouhammou, Yassine
Wakrime, Abderrahim Ait
JOURNAL OF SYSTEMS ARCHITECTURE, 2021, 114
[29] Guest editorial: Special issue on modeling, verification and testing of dependable critical systems
Ouhammou, Yassine
Ait Wakrime, Abderrahim
Journal of Systems Architecture, 2021, 114
[30] Special issue on intelligent systems - Preface
El-Kwae, E
Ras, Z
FUNDAMENTA INFORMATICAE, 2001, 47 (1-2) : V - VII

← 1 2 3 4 5 →