Guest Editorial - Integrated Formal Methods

被引：0

作者：

Boiten, E

Derrick, J

Smith, G

机构：

来源：

关键词：

D O I：

10.1007/s00165-005-0078-5

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：389 / 389

页数：1

共 50 条

[1] Formal methods - Guest editorial
Banach, Richard
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 593 - 601
[2] Formal Methods in System Design: Guest editorial
Naval Research Laboratory, Washington, DC, United States
不详
Formal Methods Syst Des, 2007, 1 (1-3):
[3] Guest editorial: special issue on formal methods in control
Ozay, Necmiye
Tabuada, Paulo
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 205 - 208
[4] Guest editorial: special issue on formal methods in control
Necmiye Ozay
Paulo Tabuada
Discrete Event Dynamic Systems, 2017, 27 : 205 - 208
[5] Guest Editorial: Special Issue on Formal Methods and Models for System Design
Leonard, Elizabeth
Heitmeyer, Constance
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
[6] Formal Aspects of Computing: Guest editorial
Formal Aspects Comput, 2007, 3 (275):
[7] Formal Aspects of Computing: Guest Editorial
CNAM Paris, Paris, France
不详
不详
不详
Formal Aspects Comput, 2008, 4-5 (349-350):
[8] Integrated Ferroelectrics: Guest editorial
Institute of Condensed Matter Chemistry of Bordeaux, University of Bordeaux 1
Integr Ferroelectr, 2008, 1 (vii-ix):
[9] Integrated ferroelectrics: Guest Editorial
Arizona State University, United States
不详
不详
Integr Ferroelectr, 2006, 1 (vii-x):
[10] Integrated Ferroelectrics: Guest editorial
Maglione, Mario
Integrated Ferroelectrics, 2008, 98 (01)