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 条

[1] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
Formal Methods in System Design, 2022, 61 : 1 - 2
[2] Preface for the formal methods in system design special issue on SYNT 2021
Polgreen, Elizabeth
Perez, Guillermo Alberto
FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (2-3) : 137 - 138
[3] Preface for the formal methods in system design special issue on SYNT 2021
Elizabeth Polgreen
Guillermo Alberto Perez
Formal Methods in System Design, 2022, 61 : 137 - 138
[4] Special Issue: Formal Methods in Aerospace Preface
Bujorianu, Manuela
Fisher, Michael
Pasareanu, Corina
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3
[5] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
[6] Special issue on 'Software Engineering and Formal Methods' Preface
不详
SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[7] Special Issue: Formal Methods for Interactive Systems Preface
Reeves, Steve
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
[8] Preface of the special issue on the conference on formal methods in computer aided design 2018
Nikolaj Bjørner
Arie Gurfinkel
Formal Methods in System Design, 2021, 57 : 119 - 120
[9] Preface of the special issue on the conference on formal methods in computer aided design 2018
Bjorner, Nikolaj
Gurfinkel, Arie
FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (02) : 119 - 120
[10] Preface of the special issue on formal methods in industrial critical systems
Gudemann, Matthias
Nunez, Manuel
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393

← 1 2 3 4 5 →