Special issue on formal methods for security engineering

被引：0

作者：

Santone, Antonella ^{[1
]}

机构：

[1] Univ Molise, Dept Biosci & Terr, Pesche, IS, Italy

来源：

JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES | 2018年 / 14卷 / 04期

关键词：

D O I：

10.1007/s11416-018-0326-x

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：251 / 251

页数：1

共 50 条

[1] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[2] Special issue on 'Software Engineering and Formal Methods'
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[3] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[4] Introduction to the Software Engineering and Formal Methods 2013 special issue
Mario Bravetti
Robert M. Hierons
Mercedes G. Merayo
[J]. Software & Systems Modeling, 2017, 16 : 5 - 6
[5] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[6] Introduction to the Software Engineering and Formal Methods 2013 special issue
Bravetti, Mario
Hierons, Robert M.
Merayo, Mercedes G.
[J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
[7] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
Batory, Don
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
[8] Special issue: International Conference on Formal Engineering Methods-ICFEM 2009
Cavalcanti, Ana
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (12) : 1211 - 1211
[9] Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
ter Beek, Maurice H.
Clarke, Dave
Schaefer, Ina
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 123 - 124
[10] Special issue on formal methods in industry - Foreword
Cuellar, J
Gnesi, S
Latella, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2000, 36 (01) : 1 - 3

← 1 2 3 4 5 →