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

来源：

关键词：

D O I：

10.1007/s10703-023-00438-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[31] Guest editorial: special issue on formal methods in control
Ozay, Necmiye
Tabuada, Paulo
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 205 - 208
[32] Introduction: Special Issue on Partial Order in Formal Methods
Doron Peled
Formal Methods in System Design, 2005, 26 : 5 - 6
[33] Guest editorial: special issue on formal methods in control
Necmiye Ozay
Paulo Tabuada
Discrete Event Dynamic Systems, 2017, 27 : 205 - 208
[34] Formal methods in computer system design
Hoare, C.A.R.
Computer Physics Communications, 1989, 57 (1-3): : 206 - 210
[35] Formal Methods in System Design: Foreword
Formal Methods Syst Des, 2006, 2 (115-116):
[36] Proceedings of Formal Methods in Computer Aided Design: Preface
Proc. Fromal Methods Comput. Aided Des., 2006, (vii):
[37] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Cofer, Darren
Fantechi, Alessandro
Leue, Stefan
Merino, Pedro
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
[38] FORMAL METHODS FOR DESIGN
MUSGRAVE, G
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
[39] Formal Methods for Integrated Socioeconomic Analysis: An Introduction to the Special Issue
Natarajan, Tara
FORUM FOR SOCIAL ECONOMICS, 2018, 47 (01) : 1 - 7
[40] Introduction to the Software Engineering and Formal Methods 2013 special issue
Mario Bravetti
Robert M. Hierons
Mercedes G. Merayo
Software & Systems Modeling, 2017, 16 : 5 - 6