Special Issue: Formal Methods in Aerospace Preface

被引：0

作者：

Bujorianu, Manuela ^{[2
]}

Fisher, Michael ^{[1
]}

Pasareanu, Corina ^{[3
,4
]}

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England

[2] Univ Manchester, Sch Math, Manchester, Lancs, England

[3] CMU, Mountain View, CA USA

[4] NASA Ames, Robust Software Engn Grp, Sunnyvale, CA USA

来源：

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2011年 / 63卷 / 01期

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/s10472-011-9273-7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 3

页数：3

共 50 条

[1] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
[2] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
[J]. 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
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
[4] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[5] Special Issue: Formal Methods for Interactive Systems Preface
Reeves, Steve
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
[6] Preface of the special issue on formal methods in industrial critical systems
Gudemann, Matthias
Nunez, Manuel
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393
[7] Preface: special issue on NASA Formal Methods Symposium 2010
César A. Muñoz
[J]. Innovations in Systems and Software Engineering, 2011, 7 (2)
[8] Preface: special issue on NASA Formal Methods Symposium 2010
Munoz, Cesar A.
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (02) : 71 - 72
[9] Preface of the special issue on formal methods in industrial critical systems
Matthias Güdemann
Manuel Núñez
[J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393
[10] Preface: Special Issue on Nasa Formal Methods Symposium 2009
Denney, Ewen
Giannakopoulou, Dimitra
Pasareanu, Corina S.
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (03) : 171 - 172

← 1 2 3 4 5 →