Preface for the formal methods in system design special issue on 'Formal Methods 2021'

被引：0

|

作者：

Huisman, Marieke ^{[1
]}

Pasareanu, Corina S. ^{[2
,3
]}

Zhan, Naijun ^{[4
]}

机构：

[1] Univ Twente, Enschede, Netherlands

[2] NASA Ames, Silicon Valley, CA USA

[3] Carnegie Mellon Univ, Silicon Valley, CA USA

[4] Chinese Acad Sci, Inst Software, Beijing, Peoples R China

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2022年 / 61卷 / 01期

关键词：

D O I：

10.1007/s10703-023-00438-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 2

页数：2

相关论文

共 50 条

[41] Introduction to the Software Engineering and Formal Methods 2013 special issue
Bravetti, Mario
Hierons, Robert M.
Merayo, Mercedes G.
SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
[42] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[43] Formal Methods in System Design: Editorial note
Mery, Dominique
Sanders, Beverly
2002, Kluwer Academic Publishers (20)
[44] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
SUFRIN, B
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
[45] Formal Methods in System Design: Guest editorial
Naval Research Laboratory, Washington, DC, United States
不详
Formal Methods Syst Des, 2007, 1 (1-3):
[46] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
Norris, Mark T.
British Telecom technology journal, 1985, 3 (04): : 53 - 59
[47] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[48] Formal Methods for Components and Objects - Preface
de Boer, F
THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 283 - 284
[49] Formal Methods for Web Services: Preface
Università di Urbino Carlo Bo, Istituto di Scienze e Tecnologie dell'Informazione, Piazza della Repubblica 13, 61029 Urbino, Italy
不详
Lect. Notes Comput. Sci., 2009, (v-vi):
[50] Formal Methods for Components and Objects - Preface
de Boer, Frank
Bonsangue, Marcello
THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 1 - 1

← 1 2 3 4 5 →