Formal Methods in System Design: Guest editorial

被引：0

作者：

Naval Research Laboratory, Washington, DC, United States ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Formal Methods Syst Des | 2007年 / 1卷 / 1-3期

关键词：

D O I：

10.1007/s10703-006-0018-x

中图分类号：

学科分类号：

摘要：

No abstract available

引用

共 50 条

[11] Formal methods in computer system design
Hoare, C.A.R.
Computer Physics Communications, 1989, 57 (1-3): : 206 - 210
[12] Formal Methods in System Design: Foreword
Formal Methods Syst Des, 2006, 2 (115-116):
[13] 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
[14] 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
[15] Guest Editorial: Design and Applications of Neuromorphic Computing System
Li, Hai
Qiu, Qinru
Wang, Yu
IEEE TRANSACTIONS ON MULTI-SCALE COMPUTING SYSTEMS, 2016, 2 (04): : 223 - 224
[16] FORMAL METHODS IN SYSTEM-DESIGN AND IMPLEMENTATION
SUFRIN, B
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 108 - 117
[17] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
Norris, Mark T.
British Telecom technology journal, 1985, 3 (04): : 53 - 59
[18] FORMAL METHODS IN COMPUTER-SYSTEM DESIGN
HOARE, CAR
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 206 - 210
[19] Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
Ter Beek, Maurice H.
Loreti, Michele
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (02):
[20] Editorial: Formal methods and testing
Hierons, R
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (02): : 69 - 70

← 1 2 3 4 5 →