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 条

[21] Special issue on formal methods for visual interaction
Paternò, F
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1999, 10 (05): : 451 - 453
[22] Special issue on 'Software Engineering and Formal Methods'
不详
SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[23] Special issue on ‘Software Engineering and Formal Methods’
Science of Computer Programming, 2023, 225
[24] Applications of formal methods to system design and verification - J. UCS special issue
Arbab, Farhad
Sirjani, Marjan
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (13) : 1970 - 1971
[25] Special Issue on Formal Methods for Components and Objects Pragmatic Aspects and Applications - Preface
de Boer, F
Bonsangue, M
SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 1 - 2
[26] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
Lang, Frederic
Flammini, Francesco
SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 1 - 2
[27] Preface for the formal methods in system design specialissue on 'FASE 2022'
Johnsen, Einar Broch
Wimmer, Manuel
FORMAL METHODS IN SYSTEM DESIGN, 2024,
[28] Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
Bestavros, Azer
Kfoury, Assaf
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (04) : 675 - 675
[29] Introduction: Special issue on partial order in Formal Methods
Peled, D
FORMAL METHODS IN SYSTEM DESIGN, 2005, 26 (01) : 5 - 6
[30] Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
ter Beek, Maurice H.
Clarke, Dave
Schaefer, Ina
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 123 - 124

← 1 2 3 4 5 →