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 条

[1] 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)
[2] Formal methods - Guest editorial
Banach, Richard
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 593 - 601
[3] Guest Editorial - Integrated Formal Methods
Boiten, E
Derrick, J
Smith, G
FORMAL ASPECTS OF COMPUTING, 2005, 17 (04) : 389 - 389
[4] Formal Methods in System Design: Editorial note
Mery, Dominique
Sanders, Beverly
2002, Kluwer Academic Publishers (20)
[5] 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
[6] Guest editorial: special issue on formal methods in control
Necmiye Ozay
Paulo Tabuada
Discrete Event Dynamic Systems, 2017, 27 : 205 - 208
[7] Guest editorial: System level design
Smailagic, A
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2001, 9 (06) : 741 - 742
[8] Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Derler, Patricia
Schneider, Klaus
Talpin, Jean-Pierre
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
[9] Formal Aspects of Computing: Guest editorial
Formal Aspects Comput, 2007, 3 (275):
[10] Formal Aspects of Computing: Guest Editorial
CNAM Paris, Paris, France
不详
不详
不详
Formal Aspects Comput, 2008, 4-5 (349-350):

← 1 2 3 4 5 →