Formal Methods in System Design: Foreword

被引：0

|

作者：

机构：

来源：

Formal Methods Syst Des | 2006年 / 2卷 / 115-116期

关键词：

D O I：

10.1007/s10703-006-0010-5

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Formal methods in computer system design
Hoare, C.A.R.
Computer Physics Communications, 1989, 57 (1-3): : 206 - 210
[2] 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
[3] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
Huisman, Marieke
Pasareanu, Corina S.
Zhan, Naijun
FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
[4] Formal Methods in System Design: Editorial note
Mery, Dominique
Sanders, Beverly
2002, Kluwer Academic Publishers (20)
[5] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
SUFRIN, B
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
[6] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[7] Formal Methods in System Design: Guest editorial
Naval Research Laboratory, Washington, DC, United States
不详
Formal Methods Syst Des, 2007, 1 (1-3):
[8] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
Norris, Mark T.
British Telecom technology journal, 1985, 3 (04): : 53 - 59
[9] Formal methods: The next generation of system design tools
Schofield, Mike
Quality and Reliability Engineering International, 1992, 8 (06) : 549 - 555
[10] Special issue on formal methods in industry - Foreword
Cuellar, J
Gnesi, S
Latella, D
SCIENCE OF COMPUTER PROGRAMMING, 2000, 36 (01) : 1 - 3

← 1 2 3 4 5 →